Real-time software engineering in Ada: observations and recommendations. - Mark W. Borger; Mark H. Klein 001; Robert A. Veltre (TRI-Ada, 1989)