References

AD94

R. Alur and D. Dill.
A theory of timed automata.
Theoretical Computer Science, 126(2):183-236, 1994.

AH96

R. Alur and T. Henzinger.
Reactive modules.
In 11^th IEEE Symposium on Logic in Computer Science, pages 207-218, 1996.

BBRR97

F. Boniol, A. Burgueno, O. Roux, and V. Rusu.
Analysis of slope-parametric hybrid automata.
In International Workshop on Real-Time and Hybrid Systems, HART'97, Grenoble, France, March 1997.

BG92

G. Berry and G. Gonthier.
The ESTEREL Synchronous Programming Language : Design, Semantics, Implementation.
Science of Computer Programming, 19(2):87-152, 1992.

BR97

A. Burgueno and V. Rusu.
Task-system analysis using slope-parametric hybrid automata.
In Workshop on Real-Time Systems and Constraints, Euro-Par'97, Passau, Germany, August 1997.

BS97

M. Büchi and E. Sekerinski.
Formal methods for component software: The refinment calculus perspective.
In Second International Workshop on Component-Oriented Programming, 1997.

CLM89

E.M. Clarke, D.E. Long, and K.L. McMillan.
Compositional model checking.
In Proc. of the Fourth Annual IEEE Symposium on Logic in Computer Science, 1989.

DGS97

A. Deshpande, A. Göllü, and L. Semenzato.
The SHIFT programming language and run-time system for dynamic networks of hybrid automata.
UCB-ITS-PRR 97-7, California PATH Project, 1997.

Eme90

E.A. Emerson.
Temporal and Modal Logic, volume B. Formal Models and Semantics of Handbook of Theoretical Science, chapter 16, pages 995-1072.
The MIT Press/Elsevier, 1990.

GL94

O. Grumberg and D.E. Long.
Model checking and modular verification.
ACM TOPLAS, 16(3):843-874, May 1994.

GS93

D. Garlan and M. Shaw.
An introduction to software architecture.
In V. Ambriola and G. Tortora, editors, Advances in Software Engineering and Knowledge Engineering, volume I. World Scientific Publishing Compagny, 1993.

HCRP91

N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud.
The synchronous dataflow programmming language LUSTRE.
In Proc. of the IEEE, volume 79(9), pages 1305-1320, September 1991.

Hen96

T.A. Henzinger.
The theory of hybrid automata.
In 11th Annual IEEE Symposium on Logics in Computer Science (LICS 1996), pages 278-292, 1996.

HHW97

T.A. Henzinger, P.-H. Ho, and H. Wong-Toi.
Hytech: A model checker for hybrid systems.
In Ninth International Conference on Computer-aided Verification (CAV 1997), Lecture Notes in Computer Science. Springer-Verlag, 1997.

HL94

C.L. Heitmeyer and N. Lynch.
The generalized railroad crossing: A case study in formal verification of real-time systems.
Technical Report 7619, Naval Research Laboratory, Décembre 1994.

HNSY94

T.A. Henzinger, X. Nicollin, J. Sifakis, and S. Yovine.
Symbolic model checking for real-time systems.
Inf. and Comput., 111(2):193-244, 1994.

LeL96

G. LeLann.
The Ariane 5 Flight 501 Failure - A Case Study in System Engineering for Computing Systems.
Technical Report 3079, INRIA, December 1996.

LKA⁺95

D.C. Luckham, J.J. Kenney, L.M. Augustin, J. Vera, D. Bryan, and W. Mann.
Specification and analysis of system architecture using rapide.
IEEE Trans. on Soft. Eng., pages 336-355, April 1995.

Med97

N. Medvidovic.
A classification and comparison framework for software architecture description languages.
UCI-ICS 97-02, Department of Information and Computer Science. University of California, Irvine, February 1997.

Pra86

V. Pratt.
Modelling concurrency with partial orders.
Int. Journal of Parallel Programming, 1986.

Rus92

J. Rushby.
Formal methods for dependable real-time systems.
In CNES, editor, International Symposium on Real-Time Embedded Processing for Space Applications, pages 355-366, Les Saintes-Maries-de-la-Mer, France, November 1992. Cepadues-Editions.

Rus96

John Rushby.
Mechanized formal methods: Progress and prospects.
In 16th Conference on the Foundations of Software Technology and Theoretical Computer Science, volume 1180 of Lecture Notes in Computer Science, pages 43-51, Hyderabad, India, December 1996. Springer-Verlag.

Rus97

John Rushby.
Calculating with requirements.
In 3rd IEEE International Symposium on Requirements Engineering, pages 144-146, Annapolis, MD, January 1997. IEEE Computer Society.

SY96

J. Sifakis and S. Yovine.
Compositional specification of timed systems.
In 13th Annual Symp. on Theoretical Aspects of Computer Science, volume 1046 of Lecture Notes in Computer Science, pages 347-359, February 1996.

Ves93

S. Vestal.
A cursory overview and comparison of four architecture description languages.
Technical report, Honeywell Technology Center, February 1993.