@article{TUW-243938, author = {Kaufmann, Petra and Kronegger, Martin and Pfandler, Andreas and Seidl, Martina and Widl, Magdalena}, title = {Intra- and interdiagram consistency checking of behavioral multiview models}, journal = {Computer Languages, Systems and Structures}, year = {2015}, volume = {44}, number = {Part A}, pages = {72--88}, doi = {10.1016/j.cl.2015.08.003} }