Tool support for code generation from a UMLsec property. - Lionel Montrieux; Jan Jürjens; Charles B. Haley; Yijun Yu; Pierre-Yves Schobbens; Hubert Toussaint (ASE, 2010)

Formal Modeling and Verification of Access-Control Policies. - Hubert Toussaint (2011)

Towards a More Semantically Transparent i* Visual Syntax. - Nicolas Genon; Patrice Caire; Hubert Toussaint; Patrick Heymans; Daniel Laurence Moody (REFSQ, 2012)