Formal methods for the masses
Proceedings of the 16th International Software Product Line Conference - Volume 1 (2012) - Comments
doi: 10.1145/2362536.2362540 

Patrick Heymans