M. Sabou, D. Winkler, P. Penzerstadler, and S. Biffl, “Verifying Conceptual Domain Models with Human Computation: A Case Study in Software Engineering”, HCOMP, vol. 6, no. 1, pp. 164-173, Jun. 2018.