J-R. Abrial (2010):
Modeling in Event-B: System and Software Engineering.
Cambridge University Press.
J-R. Abrial, M. J. Butler, S. Hallerstede, T. S. Hoang, F. Mehta & L. Voisin (2010):
Rodin: an open toolset for modelling and reasoning in Event-B.
STTT 12(6),
pp. 447–466,
doi:10.1007/s10009-010-0145-y.
J-R. Abrial, M. J. Butler, S. Hallerstede & L. Voisin (2008):
A Roadmap for the Rodin Toolset.
In: E. Börger, M. J. Butler, J. P. Bowen & P. Boca: ABZ,
Lecture Notes in Computer Science 5238.
Springer,
pp. 347,
doi:10.1007/978-3-540-87603-8.
E. A. Boiten & J. Derrick (2009):
Modelling Divergence in Relational Concurrent Refinement.
In: Michael Leuschel & Heike Wehrheim: IFM,
Lecture Notes in Computer Science 5423.
Springer,
pp. 183–199,
doi:10.1007/978-3-642-00255-7.
C. Bolton & J. Davies (2002):
Refinement in Object-Z and CSP.
In: M. Butler, L. Petre & K. Sere: IFM 2002: Integrated Formal Methods,
LNCS 2335,
pp. 225–244.
M. J. Butler (1992):
A CSP approach to Action Systems.
DPhil thesis.
Oxford University.
M. J. Butler (2000):
csp2B: A Practical Approach to Combining CSP and B.
In: FACS,
pp. 182–196.
J. Derrick & E. A. Boiten (2001):
Refinement in Z and Object-Z.
Springer-Verlag,
doi:10.1007/978-1-4471-0257-1.
J. Derrick & E.A. Boiten (2003):
Relational Concurrent Refinement.
Formal Aspects of Computing 15(2-3),
pp. 182–214,
doi:10.1007/s00165-003-0007-4.
Formal Systems (Europe) Ltd.:
The FDR Model Checker.
http://www.fsel.com/ (accessed 8/3/11).
A. Iliasov (2009):
On Event-B and Control Flow.
Technical Report CS-TR-1159.
School of Computing Science, Newcastle University.
C. Métayer, J.-R. Abrial & L. Voisin (2005):
Event-B Language.
RODIN Project Deliverable 3.2, http://rodin.cs.ncl.ac.uk/deliverables/D7.pdf, accessed 25/5/10.
C. Morgan (1990):
Of wp and CSP.
In: Beauty is our business: a birthday salute to Edsger W. Dijkstra.
Springer,
pp. 319–326.
E-R. Olderog & H. Wehrheim (2005):
Specification and (property) inheritance in CSP-OZ.
Sci. Comput. Program. 55(1-3),
pp. 227–257,
doi:10.1016/j.scico.2004.05.017.
A.W. Roscoe (1998):
Theory and Practice of Concurrency.
Prentice-Hall.
S. Schneider (1999):
Concurrent and Real-time Systems: The CSP approach.
Wiley.
S. Schneider & H. Treharne (2005):
CSP theorems for communicating B machines.
Formal Asp. Comput. 17(4),
pp. 390–422,
doi:10.1007/s00165-005-0076-7.
S. Schneider, H. Treharne & H. Wehrheim (2010):
A CSP Approach to Control in Event-B.
In: Dominique Méry & Stephan Merz: IFM,
Lecture Notes in Computer Science 6396.
Springer,
pp. 260–274,
doi:10.1007/978-3-642-16265-7.
S. Schneider, H. Treharne & H. Wehrheim (2011):
Bounded Retransmission in Event-B"026B30D CSP: a Case Study.
Technical Report CS-11-04.
University of Surrey.
S. Schneider, H. Treharne & H. Wehrheim (2011):
Stepwise refinement in Event-B"026B30D CSP.
Technical Report CS-11-03.
University of Surrey.
eptcs@eptcs.org