1. Abrial J-R (1996) The B-book: assigning programs to meanings. Cambridge University Press, New York, NY, USA
2. Beck K (2002) Test driven development: by example. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA
3. Bicarregui J, Fitzgerald J, Larsen PG, Woodcock J (2009) Industrial practice in formal methods: a review. In: Cavalcanti A, Dams D (eds) FM 2009: formal methods. Second World Congress, Lecture Notes in Computer Science, vol 5850. Springer-Verlag, pp 810–813
4. Broadfoot G (2005) Introducing formal methods into industry using cleanroom and CSP. Dedic Syst Mag, Tools Q1:1–13
5. Broadfoot GH, Broadfoot PJ (2003) Academia and industry meet: some experiences of formal methods in practice. In: 10th Asia-Pacific software engineering conference (APSEC 2003), pp 49–58