Jasen Markovski, E. S. Estens Musa, Michel A. Reniers. Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking. Electronic Notes in Theoretical Computer Science, 296:163-181, 2013. [doi]
Abstract is missing.