@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}
}