1. Burns, A., McKay, C.W., and Alvarez, A.: ‘A portable common execution environment for Ada’, Ada: the design choice, (Cambridge University Press, Madrid 1989), p. 80–89
2. ‘Formal description of real-time systems: a review’, University of Warwick, Department of Computer Science, 1988
3. Stankovic, J.A.: ‘Real-time computing systems: the next generation’, Stankovic, J.A., Ramamritham, K., Tutorial: hard real-time systems, (IEEE 1988), p. 14–38