@unpublished(Champelovier-Clerc-Garavel-et-al-10-v6.7,
 author       = {David Champelovier and Xavier Clerc and Hubert Garavel and Yves Guerte and Christine McKinty and Vincent Powazny and Fr\'ed\'eric Lang and Wendelin Serwe and Gideon Smeding},
 year         = {2017},
 title        = {{Reference Manual of the LNT to LOTOS Translator (Version 6.7)}},
 url          = {http://cadp.inria.fr/publications/Champelovier-Clerc-Garavel-et-al-10.html},
 note         = {{INRIA/VASY} and {INRIA/CONVECS}, 130 pages},
)
@phdthesis(Evrard-15,
 author       = {Hugues Evrard},
 year         = {2015},
 title        = {{G{\'e}n{\'e}ration automatique d'impl{\'e}mentation distribu{\'e}e {\`a} partir de mod{\`e}les formels de processus concurrents asynchrones}},
 type         = {Theses},
 school       = {{Universit{\'e} Grenoble Alpes}},
 url          = {https://hal.inria.fr/tel-01215634},
)
@inproceedings(Evrard-16,
 author       = {Hugues Evrard},
 year         = {2016},
 title        = {{DLC:} Compiling a Concurrent System Formal Specification to a Distributed Implementation},
 editor       = {Marsha Chechik and Jean{-}Fran{\c{c}}ois Raskin},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, {TACAS} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {9636},
 publisher    = {Springer},
 pages        = {553--559},
 doi          = {10.1007/978-3-662-49674-9\_34},
)
@article(Garavel-Lang-Mateescu-Serwe-13,
 author       = {Hubert Garavel and Fr\'ed\'eric Lang and Radu Mateescu and Wendelin Serwe},
 year         = {2013},
 title        = {{CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes}},
 journal      = {Springer International Journal on Software Tools for Technology Transfer (STTT)},
 volume       = {15},
 number       = {2},
 pages        = {89--107},
 doi          = {10.1007/s10009-012-0244-z},
 url          = {http://cadp.inria.fr/publications/Garavel-Lang-Mateescu-Serwe-13.html},
)
@inproceedings(Garavel-Serwe-17,
 author       = {Hubert Garavel and Wendelin Serwe},
 year         = {2017},
 title        = {{The Unheralded Value of the Multiway Rendezvous: Illustration with the Production Cell Benchmark}},
 editor       = {Holger Hermanns and Peter H\"{o}fner},
 booktitle    = {Proceedings of the 2nd Workshop on Models for Formal Analysis of Real Systems (MARS'17), Uppsala, Sweden},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {244},
 pages        = {230--270},
 doi          = {10.4204/EPTCS.244.10},
)
@techreport(ISO-8807,
 author       = {ISO/IEC},
 year         = {1989},
 title        = {{LOTOS -- A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour}},
 type         = {International Standard},
 number       = {8807},
 institution  = {International Organization for Standardization -- Information Processing Systems -- Open Systems Interconnection},
 address      = {Geneva},
)
@techreport(ISO-15437,
 author       = {ISO/IEC},
 year         = {2001},
 title        = {{Enhancements to LOTOS (E-LOTOS)}},
 type         = {International Standard},
 number       = {15437},
 institution  = {International Organization for Standardization -- Software and systems engineering},
 address      = {Geneva},
)
@misc(mcc:2015-results,
 author       = {F. Kordon and H. Garavel and L. M. Hillah and Hulin-Hubard, F. and A. Linard and M. Beccuti and A. Hamez and Lopez-Bobeda, E. and L. Jezequel and J. Meijer and Paviot-Adet, E. and C. Rodriguez and C. Rohr and J. Srba and Thierry-Mieg, Y. and K. Wolf},
 year         = {2015},
 title        = {{Complete Results for the 2015 Edition of the Model Checking Contest}},
 howpublished = {{http://mcc.lip6.fr/2015/results.php}},
)
@article(mcc2015,
 author       = {Fabrice Kordon and Hubert Garavel and Lom{-}Messan Hillah and Paviot{-}Adet, Emmanuel and Lo{\"{\i}}g Jezequel and Rodr{\'{\i}}guez, C{\'{e}}sar and Hulin{-}Hubard, Francis},
 year         = {2016},
 title        = {MCC'2015 - The Fifth Model Checking Contest},
 journal      = {Trans. Petri Nets Other Model. Concurr.},
 volume       = {11},
 pages        = {262--273},
 doi          = {10.1007/978-3-662-53401-4\_12},
)
@article(Lamport-78,
 author       = {Leslie Lamport},
 year         = {1978},
 title        = {Time, Clocks, and the Ordering of Events in a Distributed System},
 journal      = {Commun. {ACM}},
 volume       = {21},
 number       = {7},
 pages        = {558--565},
 doi          = {10.1145/359545.359563},
)
@article(Lamport-98,
 author       = {Leslie Lamport},
 year         = {1998},
 title        = {The Part-Time Parliament},
 journal      = {{ACM} Trans. Comput. Syst.},
 volume       = {16},
 number       = {2},
 pages        = {133--169},
 doi          = {10.1145/279227.279229},
)
@phdthesis(Ongaro-14,
 author       = {Diego Ongaro},
 year         = {2014},
 title        = {Consensus: Bridging Theory and Practice},
 school       = {Stanford University},
 url          = {https://purl.stanford.edu/qr033xr6097},
)
@inproceedings(Ongaro-Ousterhout-14,
 author       = {Diego Ongaro and John K. Ousterhout},
 year         = {2014},
 title        = {In Search of an Understandable Consensus Algorithm},
 editor       = {Garth Gibson and Nickolai Zeldovich},
 booktitle    = {2014 {USENIX} Annual Technical Conference, {USENIX} {ATC} '14, Philadelphia, PA, USA, June 19-20, 2014},
 publisher    = {{USENIX} Association},
 pages        = {305--319},
 url          = {https://raft.github.io/raft.pdf},
)
@article(Schneider-90,
 author       = {Fred B. Schneider},
 year         = {1990},
 title        = {Implementing Fault-Tolerant Services Using the State Machine Approach: {A} Tutorial},
 journal      = {{ACM} Comput. Surv.},
 volume       = {22},
 number       = {4},
 pages        = {299--319},
 doi          = {10.1145/98163.98167},
)
@inproceedings(Wilcox-Woos-et-al-15,
 author       = {James R. Wilcox and Doug Woos and Pavel Panchekha and Zachary Tatlock and Xi Wang and Michael D. Ernst and Thomas E. Anderson},
 year         = {2015},
 title        = {Verdi: a framework for implementing and formally verifying distributed systems},
 editor       = {David Grove and Steve Blackburn},
 booktitle    = {Proceedings of the 36th {ACM} {SIGPLAN} Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015},
 publisher    = {{ACM}},
 pages        = {357--368},
 doi          = {10.1145/2737924.2737958},
)
@inproceedings(Woos-Wilcox-et-al-16,
 author       = {Doug Woos and James R. Wilcox and Steve Anton and Zachary Tatlock and Michael D. Ernst and Thomas E. Anderson},
 year         = {2016},
 title        = {Planning for change in a formal verification of the raft consensus protocol},
 editor       = {Jeremy Avigad and Adam Chlipala},
 booktitle    = {Proceedings of the 5th {ACM} {SIGPLAN} Conference on Certified Programs and Proofs, Saint Petersburg, FL, USA, January 20-22, 2016},
 publisher    = {{ACM}},
 pages        = {154--165},
 doi          = {10.1145/2854065.2854081},
)