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

*** DO NOT EDIT THIS FILE ***