Brian R. Larson, John Hatcliff, Kim Fowler, Julien Delange. Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device. In Jeff Boleng, S. Tucker Taft, editors, Proceedings of the 2013 ACM SIGAda annual conference on High integrity language technology, HILT 2013, Pittsburgh, Pennsylvania, USA, November 10-14, 2013. pages 65-84, ACM, 2013. [doi]
Abstract is missing.