R. M. Balzer, N. M. Goldman, and D. S. Wile, Operational specification as the basis for rapid prototyping, ACM SIGSOFT Software Engineering Notes, vol.7, issue.5, pp.3-16, 1982.
DOI : 10.1145/1006258.1006261

N. E. Fuchs, Specifications are (preferably) executable, Software Engineering Journal, vol.7, issue.5, pp.323-334, 1992.
DOI : 10.1049/sej.1992.0033

I. Hayes and C. Jones, Specifications are not (necessarily) executable, Software Engineering Journal, vol.4, issue.6, pp.330-338, 1989.
DOI : 10.1049/sej.1989.0045
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.34.5087

J. Abrial, Formal methods in industry, Proceeding of the 28th international conference on Software engineering , ICSE '06, pp.761-768, 2006.
DOI : 10.1145/1134285.1134406

S. Wright, Automatic Generation of C from Event-B, IM_FMT, Workshop on Integration of Model-based Formal Methods and Tools, 2009.

D. Méry and N. Singh, Automatic code generation from event-B models, Proceedings of the Second Symposium on Information and Communication Technology, SoICT '11, 2011.
DOI : 10.1145/2069216.2069252

M. Leuschel, J. Falampin, F. Fritz, and D. Plagge, Automated property verification for large scale B models with ProB, Formal Aspects of Computing, pp.1-27, 2011.
DOI : 10.1007/s00165-010-0172-1

T. Servat, BRAMA: A New Graphic Animation Tool for B Models, " in B 2007: Formal Specification and Development in B, pp.274-276, 2007.

T. Nakatani, T. Tsumaki, M. Tsuda, M. Inoki, S. Hori et al., Requirements Maturation Analysis by Accessibility and Stability, 2011 18th Asia-Pacific Software Engineering Conference, pp.357-364, 2011.
DOI : 10.1109/APSEC.2011.56

F. Yang, J. Jacquot, and J. Souquières, The Case for Using Simulation to Validate Event-B Specifications, 2012 19th Asia-Pacific Software Engineering Conference, pp.85-90, 2012.
DOI : 10.1109/APSEC.2012.66
URL : https://hal.archives-ouvertes.fr/hal-00772812

D. Bert, M. Potet, and N. Stouls, GeneSyst: A Tool to Reason About Behavioral Aspects of B Event Specifications. Application to Security Properties, ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, ser. LNCS, pp.299-318, 2005.
DOI : 10.1007/11415787_18
URL : https://hal.archives-ouvertes.fr/inria-00384189

F. Yang, A Simulation Framework for the Validation of Event-B Specifications, 2013.
URL : https://hal.archives-ouvertes.fr/tel-00951922

J. T. Schwartz, R. B. Dewar, E. Schonberg, and E. Dubinsky, Programming with sets; an introduction to SETL, 1986.

A. Mashkoor and J. Jacquot, Stepwise Validation of Formal Specifications, 2011 18th Asia-Pacific Software Engineering Conference, 2011.
DOI : 10.1109/APSEC.2011.48
URL : https://hal.archives-ouvertes.fr/inria-00392939