Verifying Conceptual Domain Models with Human Computation: A Case Study in Software Engineering. - Marta Sabou; Dietmar Winkler 001; Peter Penzerstadler; Stefan Biffl (HCOMP, 2018)