Jeremy Milhau, Akram Idani, Régine Laleau, Mohamed-Amine Labiadh, Yves Ledru, et al.. Combining UML, ASTD and B for the formal specification of an access control filter.
Innovations in Systems and Software Engineering, Springer Verlag, 2011, 7 (4), pp.303-313.
⟨10.1007/s11334-011-0166-z⟩.
⟨hal-00860798⟩