O. Semeráth and D. Varró, “Evaluating Well-Formedness Constraints on Incomplete Models”, Acta Cybern, vol. 23, no. 2, pp. 687-713, Jun. 2017.