A Logical Formalization of Time-Critical Processes with Resources.

Carlo Combi, Pietro Sala, Francesca Zerbato

Browse the full BPM paper archive.