Safety, dependability and performance analysis of extended AADL models - Bozzano, Marco.; Cimatti, Alessandro.; Katoen, Joost-Pieter.; Nguyen, Viet Yen.; Noll, Thomas.; Roveri, Marco.