Apolinar González, Alfons Crespo: Environment for the Development and Specification of Real-Time Ada Programs. Ada-Europe 1999: 124-135