A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems.

Andreas Mller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger

Browse the full KSEM paper archive.