Critical System Development Methodology - Using Event-B for Critical Device Software Systems - page 76

54. Méry, D., & Singh, N. K. (2011). Automatic code generation from Event-B models. In Pro-
ceedings of the second symposium on information and communication technology ,SoICT'11
(pp. 179-188). New York: ACM.
55. Méry, D., & Singh, N. K. (2012). Critical systems development methodology using formal
techniques. In Proceedings of the third symposium on information and communication tech-
nology , SoICT'12, Ha Long (pp. 3-12). New York: ACM.
56. Mili, A., Desharnais, J., & Gagné, J. R. (1986). Formal models of stepwise refinements of
programs. ACM Computing Surveys , 18 , 231-276.
57. 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.
58. Nielsen, M., Havelund, K., Wagner, K. R., & George, C. (1988). The raise language, method
and tools. In Lecture notes in computer science . VDM Europe (pp. 376-405).
59. Overture. Overture: Formal modelling in VDM. http://www.overturetool.org/ .
60. Royce, W. W. (1987). Managing the development of large software systems: Concepts and
techniques. In Proceedings of the 9th international conference on software engineering ,
ICSE'87 (pp. 328-338). Los Alamitos: IEEE Comput. Soc.
61. Rushby, J. (1995). Formal methods and their role in the certification of critical systems (Tech-
nical report). Safety and reliability of software based systems (twelfth annual CSR workshop).
62. Scacchi, W. (1984). Managing software engineering projects: A social analysis. IEEE Trans-
actions on Software Engineering , SE-10 (1), 49-59.
63. Schumann, J. M. (2001). Automated theorem proving in software engineering .NewYork:
Springer.
64. Singh, N. K. (2011). Reliability and safety of critical device software systems . PhD thesis,
Department of Computing Science, Université Henri Poincaré-Nancy 1.
65. Sommerville, I. (1995). Software engineering (5th ed.). Redwood City: Addison-Wesley
Longman.
66. Spivey, J. M. (1989). Prentice Hall international series in computer science . The Z notation—
a reference manual . Upper Saddle River: Prentice Hall.
67. Wichmann, B. A., & British Computer Society (1992). Software in safety-related systems
(Special report). BCS.
68. Wirth, N. (1971). Program development by stepwise refinement. Communications of the ACM ,
14 , 221-227.
69. Woodcock, J., Larsen, P. G., Bicarregui, J., & Fitzgerald, J. (2009). Formal methods: Practice
and experience. ACM Computing Surveys , 41 , 19:1-19:36.