J. Abrial, Extending B without changing it (for developing distributed systems), Proceedings of the 1st Conference on the B method, pp.169-191, 1996.

J. Z. Abrial, B. I. Bert, D. Bowen, J. P. King, S. Waldén et al., 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

D. Cansell, D. Méry, and S. Merz, Diagram refinements for the design of reactive systems, Journal of Universal Computer Science, vol.7, issue.2, pp.159-174, 2001.

J. Jaray and A. Mahjoub, Une mthode itrative de construction d'un modle de systme ractif . TSI, 15, 1996.

L. Lamport, 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

L. Lamport, Specifying Systems, The TLA+ Language and Tools for Hardware and Software Engineers, 2002.