Luqi Valdis Berzins Peter M. Musial Reliability Properties of Models for Flexible Design and Run-Time Analysis. 207-219 2006 conf/monterey/2006 Monterey Workshop http://dx.doi.org/10.1007/978-3-540-77419-8_12 db/conf/monterey/monterey2006.html#LuqiBM06