An integrated toolchain for model based functional safety analysis. - Lena Rogovchenko-Buffoni; Andrea Tundis; Muhammed Zoheb Hossain; Mattias Nyberg; Peter Fritzson (J. Comput. Sci., 2014)