Report copyright - Supervisory Controller Synthesis for Product Lines Using CIF3blog.inf.ed.ac.uk/quanticol/files/2017/02/...An important advantage is that both CIF3 and mCRL2 can be used off-the-shelf,
Please pass captcha verification before submit form