Andrew J. Kornecki, Janusz Zalewski. Software Development for Real-Time Safety-Critical Applications. In 29th Annual IEEE / NASA Software Engineering Workshop (SEW-29 2005), 3 & 8 April 2005, Greenbelt, Maryland, USA, Tutorial Notes. pages 1-95, IEEE Computer Society, 2005. [doi]
Abstract is missing.