@Inproceedings{EPTCS206.6, author = {ter Beek, Maurice H. and de Vink, Erik P. and Willemse, Tim A. C.}, year = {2016}, title = {Towards a Feature mu-Calculus Targeting SPL Verification}, editor = {Rubin, Julia and Th\"um, Thomas}, booktitle = {{\rm Proceedings 7th International Workshop on} Formal Methods and Analysis in Software Product Line Engineering, {\rm Eindhoven, The Netherlands, April 3, 2016}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {206}, publisher = {Open Publishing Association}, pages = {61-75}, doi = {10.4204/EPTCS.206.6}, }