Mike Mannion, Javier Cámara. Theorem Proving for Product Line Model Verification. In Software Product-Family Engineering, 5th International Workshop, PFE 2003, Siena, Italy, November 4-6, 2003, Revised Papers. Volume 3014 of Lecture Notes in Computer Science, pages 211-224, Springer, 2003. [doi]
Abstract is missing.