B E Clark

A Model of the ADA Avionics Real-Time System: An Example of the Benefits of the Hardware/Software Codesign Approach in Development of Real-Time Systems

F G Gray, B E Clark, J T Morrison, 1992 .