1. Alur, R., Henzinger, T.A.: Logics and models of real time: a survey. In: Real Time: Theory in Practice. Lecture Notes in Computer Science, vol. 600, pp. 74–106. Springer, Berlin/New York (1992)
2. Andrews, G.R.: Foundations of Multithreaded, Parallel, and Distributed Programming. Addison-Wesley, Reading (2000)
3. Ben-Ari, M.: Principles of Concurrent and Distributed Programming, 2nd edn. Addison-Wesley, Harlow/New York (2006)
4. Benedetto, J.J., Ferreira, P.J. (eds.): Modern Sampling Theory. Birkhäuser, Boston (2001)
5. Booch, G., Bryan, D.: Software Engineering with ADA. Addison-Wesley, Boston (1994)