Safety-Critical Systems Built with COTS. - Joseph A. Profeta III; Nikos P. Andrianos; Bing Yu; Barry W. Johnson; Todd A. DeLong; David Guaspari; Damir Jamsek (Computer, 1996)