TITLE     : Towards modular verification of software product lines with mCRL2
AUTHOR(S) : Ter Beek Mh, De Vink Ep
TYPE      : Conference article
YEAR      : 2014
CODE      : 293428

*** DO NOT EDIT THIS FILE ***