Sabou, M.; Käsznar, K.; Zlabinger, M.; Biffl, S.; Winkler, D. Verifying Extended Entity Relationship Diagrams With Open Tasks. HCOMP 2020, 8, 132-140.