1. 1003.13-1998 IEEE Standard for Information Technology–Standardized Application Environment Profile (AEP)—POSIX Realtime Application Support [0- 7381-0178-8]
2. 1003.1TM Standard for Information Technology—Portable Operating System Interface (POSIX ). IEEE Std. 1003.1-2001, Open Group Technical Standard Base Specifications, Issue 6
3. Alur, R., Dill, D.L.: A Theory of Timed Automata. Theoretical Computer Science 126(2), 183–236 (1994)
4. Auguston, M.: Program Behavior Model Based on Event Grammar and its Application for Debugging Automation. In: Proc. of the 2nd Intl. Workshop on Automated and Algorithmic Debugging, Saint-Malo, France (May 1995)
5. Bartussek, A.W., Parnas, D.L.: Using traces to write abstract specifications for software modules. UNC Rep. TR 77-012, Univ. North Carolina, Chapel Hill (1977)