When Hardware Becomes Software: Designing a Safety-Critical System with Ada. - James Hummer; Loïc Briand (TRI-Ada, 1992)