An Executable Design Decision Representation Using Model Transformations | IEEE Conference Publication | IEEE Xplore