Aneesh Krishna, Sergiy A. Vilkomir, Aditya K. Ghose: Consistency preserving co-evolution of formal specifications and agent-oriented conceptual models. Inf. Softw. Technol. 51(2): 478-496 (2009)