TITLE     : Formal methods and analysis in software product line engineering. 3rd edition of FMSPLE workshop series
AUTHOR(S) : Ter Beek M H, Classen A, Schaefer I, Becker M, Roosfrantz F, Wong P Y
TYPE      : Conference article
YEAR      : 2012
CODE      : 218321

*** DO NOT EDIT THIS FILE ***