Bozzano, M., Cimatti, A., Katoen, J., Nguyen, V. Y., Noll, T., & Roveri, M. Safety, dependability and performance analysis of extended AADL models.

Bozzano, Marco., Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, و Marco Roveri. Safety, Dependability and Performance Analysis of Extended AADL Models.

Bozzano, Marco., et al. Safety, Dependability and Performance Analysis of Extended AADL Models.