Performance Evaluation of a Real-time Simulation Architecture using Probabilistic Model Checking. - Nil Geisweiller; Jeremie Bonte (PASM, 2004)