Automatic Verification of Modeling Rules in Systems Engineering for Mechatronic Systems
L. Kaiser, R. Dumitrescu, J. Holtmann, M. Meyer, in: Volume 2B: 33rd Computers and Information in Engineering Conference, 2014.