Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior - Ermel, Claudia; Gall, Jürgen; Lambers, Leen; Taentzer, Gabriele 1963- (Technische Universität Berlin, 2011)