Andreas Speck Sven Feja Sören Witt Elke Pulvermüller Marcel Schulz Formalizing business process specifications. 427-446 2011 8 Comput. Sci. Inf. Syst. 2 http://dx.doi.org/10.2298/CSIS110111015S db/journals/comsis/comsis8.html#SpeckFWPS11