Rodrigo Quites Reis Carla Alessandra Lima Reis Heribert Schlebbe Daltro José Nunes Automatic Verification of Static Policies on Software Process Models. 197-234 2002 14 Ann. Software Eng. 1-4 db/journals/ansoft/ansoft14.html#ReisRSN02