Formal semantics of UDL/I and its applications to CAD/DA tools | IEEE Conference Publication | IEEE Xplore