1. Amey, P.: Correctness by Construction, Praxis High Integrity Systems Ltd., 05 December 2006. https://buildsecurityin.us-cert.gov/articles/knowledge/sdlc-process/correctness-by-construction . Accessed 22 Jan 2016
2. Kourie, D.G., Watson, B.W.: The Correctness-by-Construction Approach to Programming. Springer, Heidelberg (2012)
3. Lecture Notes in Computer Science;J Sifakis,2005
4. Lecture Notes in Computer Science;M Bordin,2007
5. Cancila, D., Passerone, R., Vardanega, T.: Composability for high-integrity real-time embedded systems. In. Proceedings of the First Workshop on Compositional Theory and Technology for Real-Time Embedded Systems (CRTS 2008), Barcelona, Spain. ACM/IEEE, 30 November 2008