Feature Diagrams: A Survey and a Formal Semantics, by Pierre-Yves Schobbens, Patrick Heymans, Jean-Christophe Trigaux feature modelling with excludes and implies.

Term Rewriting System -- from Wolfram MathWorld Term rewriting systems are reduction systems in which rewrite rules apply to terms. Terms are built up from variables and constants using function symbols (or operations). Rules of term rewri…

> screen > NuSMV > # ctrl-a d > screen -r > screen -ls