1. Albert, J. L., Monien, B. and Artalejo, M. R., eds (1991), Automata, Languages and Programming (ICALP ‘81), Vol. 510 of Lecture Notes in Computer Science, Springer-Verlag, Madrid.
2. ANSI (1994), ANSI X3.131–1994, Information Systems — Small Computer
3. Systems Interface-2, ANSI. See also
http://abekas.com:8080
/SCSI2/. Baeten, J., ed. (1990), Applications of Process Algebra,Vol. 17 of Cambridge Tracts in Theoretical Computer Science,Cambridge University Press, Cambridge, England.
4. Bengtsson, J., Larsen, K., Larsson, F., Pettersson, P. and Yi, W. (1995), UPAAL — a tool suite for automatic verification of real-time systems, in Proc- cedings of the 4th DIMACS Workshop on Verification and Control of Hybrid Systems’, Lecture Notes in Computer Science, Springer-Verlag. Bhat, G. and Cleaveland, R. ( 1996 ), Efficient local model-checking for fragments of the modal p-calculus, in T. Margaria and B. Steffen, eds, `Second
5. International Workshop on Tools and Algorithms for the Construction and Analysis of Systems (TACAS ‘86)’, Vol. 1055 of Lecture Notes in Computer Science, Springer-Verlag, Passau, Germany, pp. 107–126.