TITLE     : Detecting policy conflicts by model checking UML state machines
AUTHOR(S) : Ter Beek M H, Gnesi S, Montangero C, Semini L
TYPE      : Conference article
YEAR      : 2009
CODE      : 180181

*** DO NOT EDIT THIS FILE ***