The feature construct of SMV semantics

[PlathRyan2000Semantics] Malte Plath and Mark Ryan. The feature construct of SMV semantics. In Sixth International Workshop on Feature Interactions in Telecommunications and Software Systems, IOS Press. 2000.
Links: [Google] [Google Scholar] [CiteSeer]
Available from: ftp://ftp.cs.bham.ac.uk/pub/authors/M.D.Ryan/00-fiw.ps.gz