Work

Using Timed Automata for a Priori Warnings and Planning for Timed Declarative Process Models