1. Barnes, R.: A Working Definition Of The Proposed Extensions For PL/1 Real-Time Applications. ACM SIGPLAN Notices 14(10), 77–99 (1979)
2. Berry, G.: Real Time Programming: Special Purpose or General Purpose Languages. Proc. 11th IFIP World Computer Congress, San Franzisko (1989)
3. Biyabani, S., Stankovic, J.A. und Ramamritham, K.: The Integration of Deadline and Criticalness Requirements in Hard Real-Time Systems. Proc. 5th IEEE/USENIX Workshop on Real-Time Software and Operating Systems, pp. 12–17, Washington, D.C. (1988)
4. Technical Report;JY Chung,1987
5. Clutterbuck, D.L. und Carré, B.A.: The verification of low level code. IEE Software Engineering Journal, 97–111 (1988)