TITLE : Supervisory controller synthesis for product lines using CIF 3 AUTHOR(S) : Ter Beek M H, Reniers M A, De Vink E P TYPE : Conference article YEAR : 2016 CODE : 359181 *** DO NOT EDIT THIS FILE ***