Feature Interaction Detection in Building Control Systems by Means of a Formal Product Model.

Andreas Metzger Christian Webel Feature Interaction Detection in Building Control Systems by Means of a Formal Product Model. 105-122 2003 conf/fiw/2003 FIW db/conf/fiw/fiw2003.html#MetzgerW03