A Tool Set for Integrated Software and Hardware Dependability Analysis Using the Architecture Analysis and Design Language (AADL) and Error Model Annex. - Myron Hecht; Alexander Lam; Chris Vogl (ICECCS, 2011)