A type-based analysis of causality loops in hybrid systems modelers

The effectiveness of the system is illustrated with several examples written in Zélus, a Lustre-like synchronous language extended with ODEs.