@InProceedings{AKM06_DynamicRuleBasedConflictDetection,
 author = "Ibrahim Armac and Michael Kirchhof and Liviana Manolescu",
 title = "{Modeling and Analysis of Functionality in eHome Systems: Dynamic Rule-based Conflict Detection}",
 booktitle = "{ECBS '06: Proceedings of the 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems (ECBS'06)}",
 year = "2006",
 isbn = "{0-7695-2546-6}",
 pages = "219--228",
 doi = {http://dx.doi.org/10.1109/ECBS.2006.48},
 publisher = "IEEE Computer Society",
 address = "Washington, DC, USA",
 location = "Potsdam, Germany"
 }