M. Sabou, K. Käsznar, M. Zlabinger, S. Biffl, and D. Winkler, “Verifying Extended Entity Relationship Diagrams with Open Tasks”, HCOMP, vol. 8, no. 1, pp. 132-140, Oct. 2020.