“From Workflow Design Patterns to Logical Specifications”. Automatyka/Automatics 17, no. 1 (July 1, 2015): 59. Accessed March 14, 2025. https://journals.agh.edu.pl/automat/article/view/1623.