FlowOpt: Bridging the Gap Between Optimization Technology and Manufacturing Planners. - Roman Barták; Milan Jaska; Ladislav Novak; Vladimír Rovenský; Tomás Skalický; Martin Cully; Con Sheahan; Thanh-Tung Dang (ECAI, 2012)

Verifying Nested Workflows with Extra Constraints. - Roman Barták; Vladimír Rovenský (MICAI (1), 2012)

On verification of nested workflows with extra constraints: From theory to practice. - Roman Barták; Vladimír Rovenský (Expert Syst. Appl., 2014)