Julia, S. et al. 2016. Functional Testing Using Object WorkFlow Nets. Computing and Informatics. 35, 3 (Nov. 2016), 719–743.