"Techniques for fast simulation of models of highly dependable systems."

Victor F. Nicola, Perwez Shahabuddin, Marvin K. Nakayama (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics