Extending B without changing it (for developing distributed systems), Proceedings of the 1st Conference on the B method, pp.169-191, 1996. ,
B#: Toward a Synthesis between Z and B, ZB'2003 ? Formal Specification and Development in Z and B, pp.168-177, 2003. ,
DOI : 10.1007/3-540-44880-2_12
Diagram refinements for the design of reactive systems, Journal of Universal Computer Science, vol.7, issue.2, pp.159-174, 2001. ,
Une mthode itrative de construction d'un modle de systme ractif . TSI, 15, 1996. ,
The temporal logic of actions, ACM Transactions on Programming Languages and Systems, vol.16, issue.3, pp.872-923, 1994. ,
DOI : 10.1145/177492.177726
Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers, 2002. ,