Juliane Dehnert Non-controllable Choice Robustness Expressing the Controllability of Workflow Processes. 121-141 2002 conf/apn/2002 ICATPN https://doi.org/10.1007/3-540-48068-4_9 db/conf/apn/icatpn2002.html#Dehnert02