@inproceedings(BeusekomGHHWWW17,
 author       = {Rutger van Beusekom and Jan~Friso Groote and Paul~F. Hoogendijk and Robert Howe and Wieger Wesselink and Rob Wieringa and Tim A.~C. Willemse},
 year         = {2017},
 title        = {Formalising the Dezyne Modelling Language in mCRL2},
 editor       = {Laure Petrucci and Cristina Seceleanu and Ana Cavalcanti},
 booktitle    = {Critical Systems: Formal Methods and Automated Verification - Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems - and - 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {10471},
 publisher    = {Springer},
 pages        = {217--233},
 doi          = {10.1007/978-3-319-67113-0\_14},
)
@inproceedings(mcrl2tool,
 author       = {Olav Bunte and Jan~Friso Groote and Jeroen J.~A. Keiren and Maurice Laveaux and Thomas Neele and Erik~P. de~Vink and Wieger Wesselink and Anton Wijs and Tim A.~C. Willemse},
 year         = {2019},
 title        = {The mCRL2 Toolset for Analysing Concurrent Systems},
 editor       = {Tom{\'a}{\v{s}} Vojnar and Lijun Zhang},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {21--39},
 doi          = {10.1007/978-3-642-34281-3\_26},
)
@article(delete2017,
 author       = {Gemma Church},
 year         = {2017},
 title        = {Have you ever wanted to press \IeC{\textquoteleft}delete\IeC{\textquoteright} on half a million lines of legacy code?},
 url          = {https://medium.com/@ASMLcompany/have-you-ever-wanted-to-press-delete-on-half-a-million-lines-of-legacy-code-96a76fdbc076},
)
@book(fundamentals,
 author       = {Carlo Ghezzi and Mehdi Jazayeri and Dino Mandrioli},
 year         = {2003},
 title        = {Fundamentals of Software Engineering, 2nd Edition},
 publisher    = {Pearson},
)
@book(mcrl2book,
 author       = {J.F. Groote and M.R. Mousavi},
 year         = {2014},
 title        = {Modeling and analysis of communicating systems},
 publisher    = {MIT Press},
 doi          = {10.7551/mitpress/9946.001.0001},
)
@book(hoare1985communicating,
 author       = {C.A.R. Hoare},
 year         = {1985},
 title        = {Communicating Sequential Processes},
 series       = {Prentice-Hall International Series in Computer Science},
 publisher    = {Prentice Hall},
 url          = {http://www.usingcsp.com/cspbook.pdf},
)
@inproceedings(eval0,
 author       = {Jozef Hooman and Robert~Huis in~'t Veld and Mathijs Schuts},
 year         = {2011},
 title        = {Experiences with a Compositional Model Checker in the Healthcare Domain},
 editor       = {Zhiming Liu and Alan Wassyng},
 booktitle    = {Foundations of Health Informatics Engineering and Systems - First International Symposium, {FHIES} 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers},
 series       = {Lecture Notes in Computer Science},
 volume       = {7151},
 publisher    = {Springer},
 pages        = {93--110},
 doi          = {10.1007/978-3-642-32355-3\_6},
)
@inproceedings(mcrl2fdr,
 author       = {Maurice Laveaux and {Jan Friso} Groote and Tim Willemse},
 year         = {2019},
 title        = {Correct and efficient antichain algorithms for refinement checking},
 editor       = {Nobuko Yoshida and {Jorge A.} P{\'e}rez},
 booktitle    = {Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Proceedings},
 series       = {Lecture Notes in Computer Science},
 publisher    = {Springer},
 address      = {Germany},
 pages        = {185--203},
 doi          = {10.1007/978-3-030-21759-4\_11},
)
@inproceedings(tabular,
 author       = {A.A.H. Osaiweran and J.~Marincic and J.F. Groote},
 year         = {2017},
 title        = {Assessing the quality of tabular state machines through metrics.},
 booktitle    = {Proceedings - 2017 IEEE International Conference on Software Quality, Reliability and Security, QRS 2017},
 publisher    = {IEEE Press},
 pages        = {426--433},
 doi          = {10.1109/QRS.2017.52},
 note         = {2017 IEEE International Conference on Software Quality, Reliability and Security (QRS) ; Conference date: 25-07-2017 Through 29-07-2017},
)
@article(eval3,
 author       = {A.A.H. Osaiweran and M.T.W. Schuts and J.J.M. Hooman and J.F. Groote and {Rijnsoever, van}, B.J.},
 year         = {2016},
 title        = {Evaluating the effect of a lightweight formal technique in industry},
 journal      = {International Journal on Software Tools for Technology Transfer},
 volume       = {18},
 number       = {1},
 pages        = {93--108},
 doi          = {10.1007/s10009-015-0374-1},
)
@article(eval2,
 author       = {Ammar Osaiweran and Mathijs Schuts and Jozef Hooman},
 year         = {2014},
 title        = {Experiences with incorporating formal techniques into industrial practice},
 journal      = {Empir. Softw. Eng.},
 volume       = {19},
 number       = {4},
 pages        = {1169--1194},
 doi          = {10.1007/s10664-013-9251-2},
)
@article(eval1,
 author       = {Ammar Osaiweran and Mathijs Schuts and Jozef Hooman and Jacco~H. Wesselius},
 year         = {2013},
 title        = {Incorporating Formal Techniques into Industrial Practice: an Experience Report},
 journal      = {Electron. Notes Theor. Comput. Sci.},
 volume       = {295},
 pages        = {49--63},
 doi          = {10.1016/j.entcs.2013.04.005},
)
@book(roscoebook,
 author       = {A.~W. Roscoe},
 year         = {1997},
 title        = {The Theory and Practice of Concurrency},
 publisher    = {Prentice Hall PTR},
 address      = {USA},
)
@article(mooreslaw,
 author       = {R.~Wester and J.~Koster},
 year         = {2015},
 title        = {The Software behind Moore's Law},
 journal      = {IEEE Software},
 volume       = {32},
 number       = {02},
 pages        = {37--40},
 doi          = {10.1109/MS.2015.53},
)