Maxime Cordy, Andreas Classen, Patrick Heymans, Axel Legay, Pierre-Yves Schobbens. Model Checking Adaptive Software with Featured Transition Systems. In Javier Cámara, Rogério de Lemos, Carlo Ghezzi, Antónia Lopes, editors, Assurances for Self-Adaptive Systems - Principles, Models, and Techniques. Volume 7740 of Lecture Notes in Computer Science, pages 1-29, Springer, 2013. [doi]
Abstract is missing.