1. Alexander, C., Ishikawa, S., Silverstein, M.: Pattern Languages. Center for Environmental Structure, vol. 2 (1977)
2. Bottoni, P., Parisi-Presicce, F., Taentzer, G.: Coordinated distributed diagram transformation for software evolution. Electron. Notes Theoret. Comput. Sci. 72(4), 59–70 (2003)
3. Burdy, L., Cheon, Y., Cok, D.R., Ernst, M.D., Kiniry, J.R., Leavens, G.T., Rustan, K., Leino, M., Poll, E.: An overview of JML tools and applications. Int. J. Softw. Tools Technol. Transfer 7(3), 212–232 (2005)
4. Cok, D.R.: OpenJML: software verification for Java 7 using JML, OpenJDK, and Eclipse. arXiv preprint
arXiv:1404.6608
(2014)
5. Dong, J., Sheng, Y., Zhang, K.: A model transformation approach for design pattern evolutions. In: 2006 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems, ECBS 2006, pp. 10–92 (2006)