TITLE     : Using mCRL2 for the analysis of software product lines (extended version).
AUTHOR(S) : Ter Beek M H, De Vink E P
TYPE      : Other
YEAR      : 2014
CODE      : 285215

*** DO NOT EDIT THIS FILE ***