Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking. - Jasen Markovski; E. S. Estens Musa; Michel A. Reniers (PASM/PDMC, 2012)