Design Verification Patterns - Formal Methods and Hybrid Real-Time Systems - page 413

16. Liu, Z., He, J., Li, X.: rCOS: A relational calculus of components. In: Mathematical
Frameworks for Component Software, pp. 207-238. World Scientific, Singapore
(2006)
17. Liu, Z., Mencl, V., Ravn, A.P., Yang, L.: Harnessing theories for tool support.
In: Proceedings of International Symposium on Leveraging Applications of Formal
Methods, Verification and Validation (ISoLA 2006), November 2006 (2006) (An
extended version is found as UNU-IIST Technical Report 335, August 2006)
18. Long, Q., Qiu, Z., Liu, Z., Shao, L., He, J.: POST: a case study for an incremental
development in rCOS. In: Van Hung, D., Wirsing, M. (eds.) ICTAC 2005. LNCS,
vol. 3722, pp. 485-500. Springer, Heidelberg (2005)
19. Meyer, B.: Object-oriented software construction, 2nd edn. Prentice-Hall, Engle-
wood Cliffs (1997)
20. Meyer, R., Faber, J., Rybalchenko, A.: Model checking duration calculus: A prac-
tical approach. In: Barkaoui, K., Cavalcanti, A., Cerone, A. (eds.) ICTAC 2006.
LNCS, vol. 4281, pp. 332-346. Springer, Heidelberg (2006)
21. Moller, M., Olderog, E.-R., Rasch, H., Wehrheim, H.: Linking CSP-OZ with UML
and Java: A case study. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004.
LNCS, vol. 2999, Springer, Heidelberg (2004)
22. Moszkowski, B.: A temporal logic for multilevel reasoning about hardware. Com-
puter 18(2), 10-19 (1985)
23. Olderog, E.-R., Ravn, A.P., Skakkebæk, J.U.: Refining system requirements to
program specifications (chapter 5). In: Heitmeyer, C., Mandrioli, D. (eds.) For-
mal Methods in Real-Time Systems. Trends in Software-Engineering, pp. 107-134.
Wiley, Chichester (1996)
24. Rischel, H., Cuellar, J., Mørk, S., Ravn, A.P., Wildgruber, I.: Development of
safety-critical real-time systems. In: Bartosek, M., Staudek, J., Wiedermann, J.
(eds.) SOFSEM 1995. LNCS, vol. 1012, pp. 206-235. Springer, Heidelberg (1995)
25. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modelling Language Reference
Manual. Addison-Wesley, Reading (1999)
26. Smith, G.: The Object-Z specification language. Kluwer Academic Publishers, Nor-
well, MA, USA (2000)
27. Soundarajan, N., Hallstrom, J.O.: Responsibilities and rewards: specifying design
patterns. In: Proceedings 26th International Conference on Software Engineering,
ICSE 2004, May 2004, pp. 666-675. IEEE Computer Society Press, Los Alamitos
(2004)
28. Szyperski, C.: Component Software: Beyond Object-Oriented Programming.
Addison-Wesley, Reading (1997)
29. Zhou, C., Hansen, M.R., Ravn, A.P., Rischel, H.: Duration specifications for shared
processors. In: Vytopil, J. (ed.) Formal Techniques in Real-Time and Fault-Tolerant
Systems. LNCS, vol. 571, pp. 21-32. Springer, Heidelberg (1991)
30. Zhou, C., Hansen, M.R.: Duration Calculus: A Formal Approach to Real-Time
Systems. In: Monographs in Theoretical Computer Science. An EATCS Series,
Springer, Heidelberg (2004)
31. Zhou, C.C., Hoare, C.A.R., Ravn, A.P.: A calculus of durations. Information
Processing Letters 40(5), 269-276 (1991)