Ian C. Pyle
SD-Scicon UK Ltd., Guildford, UK
A discussion on the Ada Run-Time Environment in safety critical applications
ACM SIGSOFT Software Engineering Notes
Measuring, monitoring and enforcing CPU execution time
ACM SIGAda Ada Letters
Software safety
Encyclopedia of Computer Science