@inproceedings{TRI-Ada-C-1992-HummerB,
	author        = "James Hummer and Loïc Briand",
	booktitle     = "{Conference Proceedings on TRI-Ada 1992}",
	doi           = "10.1145/143557.144016",
	pages         = "538--544",
	publisher     = "{ACM}",
	title         = "{When Hardware Becomes Software: Designing a Safety-Critical System with Ada}",
	year          = 1992,
}