Marco Bozzano Alessandro Cimatti Joost-Pieter Katoen Viet Yen Nguyen Thomas Noll Marco Roveri The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. 173-186 2009 SAFECOMP http://dx.doi.org/10.1007/978-3-642-04468-7_15 conf/safecomp/2009 db/conf/safecomp/safecomp2009.html#BozzanoCKNNR09