Richard W. Selby Synthesis, Analysis, and Modeling of Large-Scale Mission-Critical Embedded Software Systems. 3-10 2009 ICSP http://dx.doi.org/10.1007/978-3-642-01680-6_3 conf/ispw/2009 db/conf/ispw/icsp2009.html#Selby09