George, C.; Haxthausen, A. E. The Logic of the RAISE Specification Language. Comput. Inform. 2012, 22, 323-350.