A case study of systematic top-down design of cyber-physical models with integrated validation and formal verification.

Christoph Luckeneder, Hermann Kaindl

Browse the full SAC paper archive.