Aleksandar S. Dimovski, Ahmad Salim Al-Sibahi, Claus Brabrand, Andrzej Wasowski. Family-based model checking using off-the-shelf model checkers: extended abstract. In Douglas C. Schmidt, editor, Proceedings of the 19th International Conference on Software Product Line, SPLC 2015, Nashville, TN, USA, July 20-24, 2015. pages 397, ACM, 2015. [doi]
Abstract is missing.