Refinement Chart - Using Event-B for Critical Device Software Systems - page 101

3. Abrial, J.-R., Börger, E., & Langmaack, H. (Eds.) (1996). Lecture notes in computer science:
Vol. 1165 . Formal methods for industrial applications, specifying and programming the steam
boiler control . Berlin: Springer.
4. Back, R. J. R. (1981). On correct refinement of programs. Journal of Computer and System
Sciences , 23 (1), 49-68.
5. Butler, R. W. (1996). An introduction to requirements capture using PVS: Specification of
a simple autopilot (NASA Technical Memorandum 110255). Hampton: NASA Langley Re-
search Center.
6. Dotti, F., Iliasov, A., Ribeiro, L., & Romanovsky, A. (2009). Modal systems: Specification,
refinement and realisation. In K. Breitman & A. Cavalcanti (Eds.), Lecture notes in com-
puter science: Vol. 5885 . Formal methods and software engineering (pp. 601-619). Berlin:
Springer.
7. Fohler, G. (1993). Realizing changes of operational modes with a pre run-time scheduled hard
real-time system. In H. Kopetz & Y. Kakuda (Eds.), Dependable computing and fault-tolerant
systems: Vol. 7 . Responsive computer systems (pp. 287-300). Vienna: Springer.
8. Harel, D. (1987). Statecharts: A visual formalism for complex systems. Science of Computer
Programming , 8 (3), 231-274.
9. Jahanian, F., & Mok, A. K. (1994). Modechart: A specification language for real-time systems.
IEEE Transactions on Software Engineering , 20 (12), 933-947.
10. Méry, D., & Singh, N. K. (2010). Trustable formal specification for software certification. In
T. Margaria & B. Steffen (Eds.), Lecture notes in computer science: Vol. 6416 . Leveraging
applications of formal methods, verification, and validation (pp. 312-326). Berlin: Springer.
11. Méry, D., & Singh, N. K. (2013). Formal specification of medical systems by proof-based
refinement. ACM Transactions on Embedded Computing Systems , 12 (1), 15:1-15:25.
12. Miller, S. P. (1998). Specifying the mode logic of a flight guidance system in Core and SCR.
In FMSP'98: Proceedings of the second workshop on formal methods in software practice
(pp. 44-53). New York: ACM.
13. Real, J., & Crespo, A. (2004). Mode change protocols for real-time systems: A survey and a
new proposal. Real-Time Systems , 26 (2), 161-197.
14. Smith, D. (2008). Generating programs plus proofs by refinement. In B. Meyer & J. Wood-
cock (Eds.), Lecture notes in computer science: Vol. 4171 . Verified software: Theories, tools,
experiments (pp. 182-188). Berlin: Springer.
15. Walters, H. (1990). Hybrid implementations of algebraic specifications. In H. Kirchner &
W. Wechler (Eds.), Lecture notes in computer science: Vol. 463 . Algebraic and logic pro-
gramming (pp. 40-54). Berlin: Springer.