Model Checking Adaptive Software with Featured Transition Systems | Publicación