TITLE     : A toolchain for model-based design and testing of access control systems
AUTHOR(S) : Daoudagh S, El Kateb D, Lonetti F, Marchetti E, Mouelhi T
TYPE      : Conference article
YEAR      : 2015
CODE      : 354116

*** DO NOT EDIT THIS FILE ***