, This article addresses the static detection of causality loops in hybrid system models. It establishes a type system expressing dependencies between signals and enforcing absence of causality loops as a necessary condition for a system being well-typed. This ensures their causal consistency as necessary for avoiding deadlock situations during sequential simulation and for generating statically scheduled code, vol.10
, Germany Email adress: martin.fraenzle@informatik.uni-oldenburg, pp.114-118, 26129.