1990
A Symbolic Debugger for Real-time Embedded Ada Software.
Softw. Pract. Exp., 1990