Obrenovic, N.; Popovic, A.; Aleksic, S.; Lukovic, I. Transformations of Check Constraint PIM Specifications. Comput. Inform. 2012, 31, 1045-1079.