Andreas Svendsen, Øystein Haugen, Birger Møller-Pedersen. Using Variability Models to Reduce Verification Effort of Train Station Models. In Tran Dan Thu, Karl R. P. H. Leung, editors, 2011 18th Asia Pacific Software Engineering Conference, Ho Chi Minh, Vietnam, December 5-8, 2011. pages 348-356, IEEE, 2011. [doi]
Abstract is missing.