@article {123, title = {Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking}, journal = {Electr. Notes Theor. Comput. Sci.}, volume = {296}, year = {2013}, pages = {163-181}, author = {Jasen Markovski and E.S. Estens Musa and Michel A. Reniers} }