A. Van-lamsweerde, Requirements engineering, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16, 2009.
DOI : 10.1145/1453101.1453133

J. R. Abrial, Modeling in Event-B: System and Software Engineering, 2009.
DOI : 10.1017/CBO9781139195881

T. Servat, BRAMA: A New Graphic Animation Tool for B Models, 7th International Conference of B Users, 2007.
DOI : 10.1007/11955757_28

E. Yu, Towards Modeling and Reasoning Support for Early-Phase Requirements Engineering, 3rd IEEE International Symposium on Requirements Engineering (RE'97, 1997.

A. Matoussi, Expressing KAOS Goal Models with Event-B, Doctoral Symposium of 16th International Symposium on Formal Methods (FM'09-DS), 2009.

A. Mashkoor, J. P. Jacquot, and J. Souquières, Transformation Heuristics for Formal Requirements Validation by Animation, 2nd International Workshop on the Certification of Safety- Critical Software Controlled Systems (SafeCert'09), 2009.
URL : https://hal.archives-ouvertes.fr/inria-00374082