Alice Miller, Muffy Calder. A Generic Approach for the Automatic Verification of Featured, Parameterised Systems. In Stephan Reiff-Marganiec, Mark Ryan, editors, Feature Interactions in Telecommunications and Software Systems VIII, ICFI 05, 28-30 June 2005, Leicester, UK. pages 217-235, IOS Press, 2005.
Abstract is missing.