Bibliography

1

R. Bloo, J. Hooman, and E. de Jong.
Semantical aspects of an architecture for distributed embedded systems.
Technical report, Eindhoven University of Technology, 2000.

2

M. Boasson.
Control systems software.
IEEE Transactions on Automatic Control, 38(7):1094-1106, 1993.

3

M. M. Bonsangue, J. Kok, M. Boasson, and E. de Jong.
A software architecture for distributed control systems and its transition system semantics.
In Proceedings of the 1998 ACM Symposium on Applied Computing (SAC'98), pages 159-168. ACM Press, 1998.

4

M. M. Bonsangue, J. Kok, and G. Zavattaro.
Comparing coordination models based on shared distributed replicated data.
In Proceedings of the 1999 ACM Symposium on Applied Computing (SAC'99). ACM Press, 1999.

5

P. Dechering, R. Groenboom, E. de Jong, and J. Udding.
Formalization of a Software Architecture for Embedded Systems: a Process Algebra for Splice.
In Proceedings of the Hawaiian International Conference on System Sciences (HICSS-32), Maui, Hawaii, January 5-8 1999. IEEE Computer Society.

6

J. Hooman.
Specification and Compositional Verification of Real-Time Systems.
LNCS 558, Springer-Verlag, 1991.

7

J. Hooman.
Correctness of real time systems by construction.
In Formal Techniques in Real-Time and Fault-Tolerant Systems, pages 19-40. LNCS 863, Springer-Verlag, 1994.

8

S. Owre, J. Rushby, N. Shankar, and F. von Henke.
Formal verification for fault-tolerant architectures: Prolegomena to the design of PVS.
IEEE Trans. Softw. Eng., 21(2):107-125, 1995.

9

J. van de Pol, J. Hooman, and E. de Jong.
Formal requirements specification for command and control systems.
In Proceedings of the Conference on Engineering of Computer-Based Systems, pages 37-44. IEEE, 1998.

10

J. van de Pol, J. Hooman, and E. de Jong.
Modular formal specification of data and behaviour.
In K. T. K. Araki, A. Galloway, editor, Proceedings 1st Conference on Integrated Formal Methods (IFM'99), pages 109-128. Springer-Verlag, 1999.