Looking into the future : using timed automata to provide a priori advice about timed declarative process models
['Michael Westergaard', 'Fabrizio Maria Maggi']
Looking into the future : using timed automata to provide a priori advice about timed declarative process models