C. George and A. E. Haxthausen, “The Logic of the RAISE Specification Language”, Comput. Inform., vol. 22, no. 3-4, pp. 323–350, Feb. 2012.