Maurice H. ter Beek, Erik P. de Vink. Using mCRL2 for the analysis of software product lines. In Stefania Gnesi, Nico Plat, editors, Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, FormaliSE 2014, Hyderabad, India, June 3, 2014. pages 31-37, ACM, 2014. [doi]
Abstract is missing.