An extension of the Workflow Process Definition Language to validate time restrictions in SUBFLOW Activities and XOR SPLIT Attributes. - Narayan C. Debnath; Daniel Riesco; Gabriel Vilallonga; Robert Uzal; Daniel Welch 002; German Montejano; Sergio Gallina (AICCSA, 2009)