Vincent Bertram, Peter Manhart, Dimitri Plotnikov, Bernhard Rumpe, Christoph Schulze, Michael von Wenckstern. Infrastructure to Use OCL for Runtime Structural Compatibility Checks of Simulink Models. In Andreas Oberweis, Ralf H. Reussner, editors, Modellierung 2016, 2.-4. März 2016, Karlsruhe. Volume 254 of LNI, pages 109-116, GI, 2016.
Abstract is missing.