A Symbolic Debugger for Real-time Embedded Ada Software. - Dan Lyttle; Ray Ford (Softw. Pract. Exp., 1990)