The Modelling Framework: Event-B - Using Event-B for Critical Device Software Systems - page 58

4. Abrial, J.-R. (2010). Modeling in Event-B: System and software engineering (1st ed.). New
York: Cambridge University Press.
5. Abrial, J.-R., & Mussat, L. (1998). Introducing dynamic constraints in B. In Proceedings of
the second international B conference on recent advances in the development and use of the
B method , B'98 (pp. 83-128). London: Springer.
6. Abrial, J.-R., Cansell, D., & Méry, D. (2003). A mechanically proved and incremental devel-
opment of IEEE 1394 tree identify protocol. Formal Aspects of Computing , 14 (3), 215-227.
7. Back, R. J. R. (1981). On correct refinement of programs. Journal of Computer and System
Sciences , 23 (1), 49-68.
8. Back, R. J. R. (1988). A calculus of refinements for program derivations. Acta Informatica ,
25 , 593-624.
9. Back, R.-J. J., Akademi, A., & Von Wright, J. (1998). Refinement calculus: A systematic in-
troduction (1st ed.). New York: Springer.
10. B-Core Ltd. (1996). B-toolkit user's manual, release 3.2 .
11. Behm, P., Benoit, P., Faivre, A., & Meynadier, J.-M. (1999). Météor: A successful application
of B in a large project. In J. Wing, J. Woodcock, & J. Davies (Eds.), Lecture notes in computer
science: Vol. 1708 . FM'99—formal methods (pp. 369-387). Berlin: Springer.
12. Börger, E., & Stärk, R. (2003). Abstract state machines: A method for high-level system design
and analysis . Berlin: Springer.
13. Butler, M. J. (1996). Stepwise refinement of communicating systems. Science of Computer
Programming , 27 (2), 139-173.
14. Butler, M. (2000). CSP2B: A practical approach to combining CSP and B. Formal Aspects of
Computing , 12 , 182-196.
15. Butler, M., & Waldén, M. (1999). Parallel programming with the B method. In E. Sekerin-
ski & K. Sere (Eds.), Formal approaches to computing and information technology (FACIT) .
Program development by refinement (pp. 183-195). London: Springer.
16. Cansell, D., & Méry, D. (2007). Proved-patterns-based development for structured programs.
In V. Diekert, M. Volkov, & A. Voronkov (Eds.), Lecture notes in computer science: Vol. 4649 .
Computer science—theory and applications (pp. 104-114). Berlin: Springer.
17. Cansell, D., & Méry, D. (2008). The Event-B modelling method: Concepts and case studies.
In D. Bjørner & M. C. Henson (Eds.), Monographs in theoretical computer science . Logics of
specification languages (pp. 47-152). Berlin: Springer.
18. Cansell, D., Gopalakrishnan, G., Jones, M., Méry, D., & Weinzoepflen, A. (2002). Incremental
proof of the producer/consumer property for the PCI protocol. In Proceedings of the 2nd
international conference of B and Z users on formal specification and development in Z and
B , ZB'02 (pp. 22-41). London: Springer.
19. Chandy, K. M., & Misra, J. (1988). Parallel program design: A foundation . Reading: Addison-
Wesley. ISBN 0-201-05866-9.
20. Clarke, E. M., Grumberg, O., & Peled, D. (2001). Model checking . Cambridge: MIT Press.
21. ClearSy. Atelier B. http://www.clearsy.com .
22. ClearSy, Aix-en-Provence (2004). B4FREE. http://www.b4free.com .
23. Fitzgerald, J. (2007). The typed logic of partial functions and the Vienna development method.
In D. Bjørner & M. C. Henson (Eds.), EATCS textbook in computer science . Logics of speci-
fication languages (pp. 431-465). Berlin: Springer.
24. Gurevitch, Y. (1995). Evolving algebras 1993: Lipari guide. In Specification and validation
methods (pp. 9-36). Oxford: Oxford University Press.
25. Henson, M. C., Deutsch, M., & Reeves, S. (2007). Z logic and its applications. In D. Bjørner &
M. C. Henson (Eds.), EATCS textbook in computer science . Logics of specification languages
(pp. 467-569). Berlin: Springer.
26. Hoare, J., Dick, J., Neilson, D., & Holm Sørensen, I. (1996). Applying the B technologies on
CICS. In FME 96 (pp. 74-84). Berlin: Springer.
27. Jones, C. B. (1990). Systematic software development using VDM (2nd ed.). Upper Saddle
River: Prentice Hall.