Sabou, M.; Winkler, D.; Penzerstadler, P.; Biffl, S. Verifying Conceptual Domain Models With Human Computation: A Case Study in Software Engineering. HCOMP 2018, 6, 164-173.