TITLE     : Model checking value-passing modal specifications
AUTHOR(S) : Ter Beek Mh, Gnesi S, Mazzanti F
TYPE      : Other
YEAR      : 2013
CODE      : 276687

*** DO NOT EDIT THIS FILE ***