Joseph A. Profeta III Nikos P. Andrianos Bing Yu Barry W. Johnson Todd A. DeLong David Guaspari Damir Jamsek Safety-Critical Systems Built with COTS. 54-60 1996 29 IEEE Computer 11 db/journals/computer/computer29.html#ProfetaAYJDGJ96