Systematic top-down design of cyber-physical models with integrated validation and formal verification.

Christoph Luckeneder, Hermann Kaindl

Browse the full ICSE paper archive.