@unpublished {54,
	title = {Extending a Synthesis-Centric Model-Based Systems Engineering Framework with Stochastic Model Checking},
	journal = {Proceedings PASM 2012},
	year = {In Press},
	month = {2012},
	author = {Jasen Markovski and E.S. Estens Musa and Michel A. Reniers}
}