N. Obrenovic, A. Popovic, S. Aleksic, and I. Lukovic, “Transformations of Check Constraint PIM Specifications”, Comput. Inform., vol. 31, no. 5, pp. 1045–1079, Nov. 2012.