@inproceedings{HILT-2013-LarsonHFD,
	author        = "Brian R. Larson and John Hatcliff and Kim Fowler and Julien Delange",
	booktitle     = "{Proceedings of the ACM SIGAda Annual Conference on High Integrity Language Technology}",
	doi           = "10.1145/2527269.2527271",
	isbn          = "978-1-4503-2467-0",
	pages         = "65--84",
	publisher     = "{ACM}",
	title         = "{Illustrating the AADL error modeling annex (v.2) using a simple safety-critical medical device}",
	year          = 2013,
}