References

[1]

L. Logrippo, R.L. Probert, H. Ural (Eds.) Protocol Specification, Testing, and Verification, X. North-Holland, 1990.

[2]

JP. Courtiat, RC. de Oliveira, L. Andriantsiferana. Formal modeling and verification of multimedia documents. Invited Paper at the 1996 Pacific Workshop on Distributed Multimedia Systems Hong Kong, 1996.

[3]

K. J. Turner (Ed.) Using Formal Description Techniques. An Introduction to Estelle, Lotos and SDL. Wiley, 1993.

[4]

J. van Leeuwen (Ed.). Formal Models and Semantics, Handbook of Theoretical Computer Science, vol. B, Elsevier, 1990.

[5]

G.J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, Software Series, 1991.

[6]

K. McMillan. Symbolic model checking: an approach to the state explosion problem. Kluwer Academic Publishers, 1993.

[7]

R.P. Kurshan. Computer-aided Verification of Coordinating Processes: the automata-theoretic approach. Princeton University Press, 1994.

[8]

R. Cleaveland, J.N. Gada, P.M. Lewis, S.A. Smolka, O. Sokolsky and S. Zhang. The Concurrency Factory --- Practical Tools for Specification, Simulation, Verification, and Implementation of Concurrent Systems. Proc. DIMACS Workshop on Specification of Parallel Algorithms, S. Jagannathan (Ed.), AMS, Princeton, 1994.

[9]

G.J. Holzmann. The theory and practice of a formal method: NewCoRe. Proc. 13th IFIP World Computer Congress, Hamburg, 1994.

[10]

Michael Jackson. Software Requirements and Specifications: A Lexicon of Practice, Principles, and Prejudices. Addison-Wesley, 1995.

[11]

Bill Curtis, Herb Krasner, and Neil Iscoe. A field study of the software design process for large systems. Communications of the ACM 31(11) (Nov. 1988) 1268-1287.

[12]

Douglas R. Smith. Toward practical applications of software synthesis. Notes of the ICSE-17 Workshop on Formal Methods Application in Software Engineering Practice, Martin Wirsing (Ed.), Seattle, 1995 1-5, 24-25