Techniques for Fast Simulation of Highly Dependable Systems