Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems
L. Kaiser, R. Dumitrescu, J. Holtmann, M. Meyer, in: Proceedings of the ASME International Design Engineering Technical Conferences &; Computers and Information in Engineering Conference, ASME, 2013.