@article {668, title = {Supplemental material for the paper {\textquoteright}Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners{\textquoteright}}, number = {GSDLAB-SM-2016-05}, year = {2016}, month = {05/2016}, institution = {University of Waterloo}, attachments = {http://gsd.uwaterloo.ca/sites/default/files/PowerWindow_Experience.pdf , http://gsd.uwaterloo.ca/sites/default/files/DoorLocks_Experience.pdf , http://gsd.uwaterloo.ca/sites/default/files/CaseStudies.zip}, author = {Eldar Khalilov and Jordan Ross} }