FASE - Modeling with plausibility checking: inspecting favorable and critical signs for consistency between control flow and functional behavior
link.springer.com depositonce.tu-berlin.de www.user.tu-berlin.de