Sabou, M., Winkler, D., Penzerstadler, P. and Biffl, S. 2018. Verifying Conceptual Domain Models with Human Computation: A Case Study in Software Engineering. Proceedings of the AAAI Conference on Human Computation and Crowdsourcing. 6, 1 (Jun. 2018), 164-173. DOI:https://doi.org/10.1609/hcomp.v6i1.13325.