@book(abrial2010,
 author       = {Jean-Raymond Abrial},
 year         = {2010},
 title        = {{Modeling in Event-B: System and Software Engineering}},
 publisher    = {Cambridge University Press},
 doi          = {10.1017/S0956796812000081},
)
@article(abrial_rodin:_2010,
 author       = {Jean-Raymond Abrial and Michael Butler and Stefan Hallerstede and Thai Son Hoang and Farhad Mehta and Laurent Voisin},
 year         = {2010},
 title        = {Rodin: an open toolset for modelling and reasoning in {Event}-{B}},
 journal      = {International Journal on Software Tools for Technology Transfer},
 volume       = {12},
 number       = {6},
 pages        = {447--466},
 doi          = {10.1007/s10009-010-0145-y},
)
@article(ieee1394,
 author       = {Jean-Raymond Abrial and Dominique Cansell and Dominique M{\'e}ry},
 year         = {2003},
 title        = {{A Mechanically Proved and Incremental Development of IEEE 1394 Tree Identify Protocol}.},
 journal      = {{Formal Aspects of Computing}},
 volume       = {14},
 number       = {3},
 pages        = {215--227},
 doi          = {10.1007/s001650300002},
)
@inproceedings(eventb2java,
 author       = {Cata{\~{n}}o, N{\'e}stor and V{\'i}ctor Rivera},
 year         = {2016},
 title        = {{EventB2Java: A Code Generator for Event-B}},
 editor       = {Sanjai Rayadurgam and Oksana Tkachuk},
 booktitle    = {NASA Formal Methods},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {166--171},
 doi          = {10.1007/978-3-319-40648-0\_13},
)
@inproceedings(DBLP:conf/isola/ChengMM16,
 author       = {Zheng Cheng and Dominique M{\'{e}}ry and Rosemary Monahan},
 year         = {2016},
 title        = {On Two Friends for Getting Correct Programs - Automatically Translating Event {B} Specifications to Recursive Algorithms in Rodin},
 booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part {I}},
 pages        = {821--838},
 doi          = {10.1007/978-3-319-47166-2\_57},
)
@techreport(vpte2020:hal-02572971,
 author       = {Horatiu Cirstea and Alexis Grall and Dominique M{\'e}ry},
 year         = {2020},
 title        = {{Generating Distributed Programs from Event-B Models}},
 type         = {Research Report},
 institution  = {{LORIA UMR 7503 CNRS, INRIA, Universit{\'e} de LORRAINE}},
 url          = {https://hal.inria.fr/hal-02572971},
)
@inproceedings(edmunds2011tasking,
 author       = {Andrew Edmunds and Michael Butler},
 year         = {2011},
 title        = {Tasking Event-B: An extension to {Event-B} for generating concurrent code},
 booktitle    = {PLACES 2011},
 url          = {http://eprints.soton.ac.uk/id/eprint/272006},
)
@inproceedings(liu2012clarity,
 author       = {Yanhong A Liu and Scott D Stoller and Bo Lin and Michael Gorbovitski},
 year         = {2012},
 title        = {From clarity to efficiency for distributed algorithms},
 booktitle    = {ACM SIGPLAN Notices},
 volume       = {47},
 organization = {ACM},
 pages        = {395--410},
 doi          = {10.1145/2384616.2384645},
)
@article(ijsi,
 author       = {Dominique M\'ery},
 year         = {2009},
 title        = {Refinement-based guidelines for algorithmic systems},
 journal      = {International Journal of Software and Informatics},
 volume       = {3},
 number       = {2-3},
 pages        = {197--239},
)
@inproceedings(DBLP:conf/isola/Mery18,
 author       = {Dominique M{\'{e}}ry},
 year         = {2018},
 title        = {Modelling by Patterns for Correct-by-Construction Process},
 booktitle    = {Leveraging Applications of Formal Methods, Verification and Validation. Modeling - 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part {I}},
 pages        = {399--423},
 doi          = {10.1007/978-3-030-03418-4\_24},
)
@inproceedings(DBLP:conf/ictac/Mery19,
 author       = {Dominique M{\'{e}}ry},
 year         = {2019},
 title        = {Verification by Construction of Distributed Algorithms},
 booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2019 - 16th International Colloquium, Hammamet, Tunisia, October 31 - November 4, 2019, Proceedings},
 pages        = {22--38},
 doi          = {10.1007/978-3-030-32505-3\_2},
)
@inproceedings(MeryM13,
 author       = {Dominique M{\'{e}}ry and Rosemary Monahan},
 year         = {2013},
 title        = {Transforming Event {B} Models into Verified C{\#} Implementations},
 editor       = {Alexei Lisitsa and Andrei P. Nemytykh},
 booktitle    = {First International Workshop on Verification and Program Transformation, {VPT} 2013, Saint Petersburg, Russia, July 12-13, 2013},
 series       = {EPiC Series in Computing},
 volume       = {16},
 publisher    = {EasyChair},
 pages        = {57--73},
)
@book(tel2000introduction,
 author       = {Gerard Tel},
 year         = {2000},
 title        = {Introduction to distributed algorithms},
 publisher    = {Cambridge {U}niversity {P}ress},
 doi          = {10.1017/CBO9781139168724},
)
@article(DBLP:journals/ijaacs/TounsiMM16,
 author       = {Mohamed Tounsi and Mohamed Mosbah and Dominique M{\'{e}}ry},
 year         = {2016},
 title        = {From Event-B specifications to programs for distributed algorithms},
 journal      = {{IJAACS}},
 volume       = {9},
 number       = {3/4},
 pages        = {223--242},
 doi          = {10.1504/IJAACS.2016.079623},
)