K.-D. Schewe and B. Thalheim, “Limitations of rule triggering systems for integrity maintenance in the context of transition specifications”, Acta Cybern, vol. 13, no. 3, pp. 277-304, Jan. 1998.