1. MasterCard International Inc. Mondex,
http://www.mondexusa.com/
2. StaRVOOrS,
http://www.cse.chalmers.se/~chimento/starvoors/files.html
3. Lecture Notes in Computer Science;W. Ahrendt,2012
4. Artho, C., Biere, A.: Combined static and dynamic analysis. In: AIOOL 2005. ENTCS, vol. 131, pp. 3–14 (2005)
5. Barnes, J.: SPARK: The Proven Approach to High Integrity Software. Altran Praxis, UK (2012),
http://www.altran.co.uk