Balancing Insight and Effort: The Industrial Uptake of Formal Methods - Formal Methods and Hybrid Real-Time Systems - page 251

29. Kurita, T., Oota, T., Nakatsugawa, Y.: Formal specification of an embedded IC for cellular
phones. In: Proceedings of Software Symposium 2005, Software Engineers Associates of
Japan, pp. 73-80 (June 2005) (in Japanese)
30. Holloway, M., Butler, R.W.: Impediments to Industrial Use of Formal Methods. IEEE Com-
puter 29(4), 25-26 (1996)
31. Fitzgerald, J., Larsen, P.: Formal Specification Techniques in the Commercial Development
Process. In: Wirsing, M. (ed.) Position Papers from the Workshop on Formal Methods Ap-
plication in Software Engineering Practice, International Conference on Software Engineer-
ing (ICSE-17), Seattle (1995), http://home0.inet.tele.dk/pgl/icse.pdf
32. Woodcock, J., Davies, J.: Using Z - Specification, Refinement, and Proof. Prentice Hall
International Series in Computer Science, Englewood Cliffs (1996)
33. Abrial, J.R.: The B Book - Assigning Programs to Meanings. Cambridge University Press,
Cambridge (1996)
34. Larsen, P.G., Lassen, P.B.: An Executable Subset of Meta-IV with Loose Specification. In:
VDM '91: Formal Software Development Methods, VDM Europe, Springer, Heidelberg
(1991)
35. Mukherjee, P.: Computer-aided Validation of Formal Specifications. Software Engineering
Journal , 133-140 (July 1995)
36. Larsen, P.G.: Ten Years of Historical Development: “Bootstrapping” VDMTools. Journal of
Universal Computer Science 7(8), 692-709 (2001)
37. Houston, I.: The IBM Z Tool. In: Prehn, S., Toetenel, H. (eds.) VDM 1991. LNCS, vol. 552,
pp. 691-692. Springer, Heidelberg (1991)
38. Saaltink, M.: Z and EVES. In: Nicholls, J. (ed.) Z User Workshop, York 1991. Workshops in
Computing, pp. 223-242. Springer, Heidelberg (1991)
39. Toyn, I., J.: CADiZ: an Architecture for Z tools and its Implementation. Softw.-Pract. Exp
(UK) 25(3), 305-330 (1995)
40. Lee, M., Sørensen, I.: B-tool. In: Prehn, S., Toetenel, W. (eds.) VDM 1991. LNCS, vol. 552,
pp. 695-696. Springer, Heidelberg (1991)
41. Clearsy: Atelier B Web site (2007), http://www.atelierb.societe.com/

index uk.htm
42. Johnson, S.: Lint, a C Program Checker. Computer Science 65, Bell Laboratories (December
1977)
43. Rushby, J.: Model Checking and Other Ways of Automating Formal Methods. In: Software
Quality Week, San Francisco, CA (May 1995) (Position paper for panel on Model Checking
for Concurrent Programs)
44. Heitmeyer, C.L.: On the Need for Practical Formal Methods. In: Ravn, A.P., Rischel, H.
(eds.) FTRTFT 1998. LNCS, vol. 1486, pp. 18-26. Springer, Heidelberg (1998)
45. Heitmeyer, C.: A Panacea or Academic Poppycock: Formal Methods Revisited. In: High-
Assurance Systems Engineering, 2005. HASE 2005. Ninth IEEE International Symposium,
pp. 3-7. IEEE, Los Alamitos (2005)
46. Heitmeyer, C.: Developing Safety-Critical Systems: the Role of Formal Methods and Tools.
In: SCS '05: Proceedings of the 10th Australian Workshop on Safety Critical Systems and
Software, Darlinghurst, Australia, pp. 95-99. Australian Computer Society, Inc., Australia
(2006)
47. Pierce, B.C. (ed.) Advanced Topics in Types and Programming Languages. MIT Press, Cam-
bridge (2005)
48. Aichernig, B.K., Larsen, P.G.: A Proof Obligation Generator for VDM-SL. In: Fitzgerald,
J.S., Jones, C.B., Lucas, P. (eds.) FME 1997. LNCS, vol. 1313, pp. 338-357. Springer, Hei-
delberg (1997)
49. Luckham, D.C., von Henke, F.W.: An Overview of Anna, A Specification Language for Ada.
In: IEEE Software, pp. 9-22. IEEE Computer Society Press, Los Alamitos (1985)