References

AG96

K. Arnold and J. Gosling.
The Java Programming Language.
Addison-Wesley Publishing Company, 1996.

CHR91

Zhou Chaochen, C. A. R. Hoare, and A. P. Ravn.
A calculus of durations.
Information Proc. Letters, 40(5), December 1991.

DET84

Jim Horning D. Evans, John Guttag and Y. M. Tan.
LCLint: A tool for using specifications to check code.
In Symposium on the Foundations of Software Engineering, 1984.

GwSGJ⁺93

John V. Guttag, James J. Horning with S.J. Garland, K.D. Jones, A. Modet, and J.M. Wing.
Larch: Languages and Tools for Formal Specification.
Springer-Verlag Texts and Monographs in Computer Science, 1993.

K.L93

K.L. McMillan.
Symbolic Model Checking.
Kluwer Academic Publishers, Norwell Massachusetts, 1993.

PG97

E. Cerny P. Girodias.
Interface timing verification with delay correlation using constraint logic programming.
In Proceedings of ED & TC'97, Paris, March 1997.

RS94

Anders P. Ravn and Jørgen Staunstrup.
Interface models.
In Proceedings from Codes/CASHE '94, pages 157-164. IEEE Computer Society Press, September 1994.

SM95

Jørgen Staunstrup and Niels Mellergaard.
Localized verification of modular designs.
Formal Methods in System Design, 6(3):295-320, 1995.

VHD88

IEEE, New York.
VHDL Language Reference Manual, std 1076-1987 edition, 1988.