TITLE     : A state/event-based model-checking approach for the analysis of abstract system properties
AUTHOR(S) : Ter Beek M H, Fantechi A, Gnesi S, Mazzanti F
TYPE      : Journal article
YEAR      : 2011
CODE      : 199409

*** DO NOT EDIT THIS FILE ***