Domain-Specific Model Checking for Cyber-Physical Systems.

Christopher Gerking, Wilhelm Schfer, Stefan Dziwok, Christian Heinzemann

Browse the full MODELS paper archive.