Klimek, R. (2015). From Workflow Design Patterns to Logical Specifications. Automatyka/Automatics, 17(1), 59. https://doi.org/10.7494/automat.2013.17.1.59