Julia, S. et al. 2016. Functional Testing Using Object WorkFlow Nets. COMPUTING AND INFORMATICS. 35, 3 (Nov. 2016), 719–743.