Andreas Nonnengart Georg Rock Werner Stephan Using Hybrid Automata to Express Realtime Properties in VSE-II. 640-644 2001 conf/flairs/2001 FLAIRS Conference db/conf/flairs/flairs2001.html#NonnengartRS01