BibTeX records: Michael J. Butler

download as .bib file

@article{DBLP:journals/corr/HoangVSBWB17,
  author    = {Thai Son Hoang and
               Laurent Voisin and
               A. Salehi and
               Michael J. Butler and
               Toby Wilkinson and
               N. Beauger},
  title     = {Theory Plug-in for Rodin 3.x},
  journal   = {CoRR},
  volume    = {abs/1701.08625},
  year      = {2017},
  url       = {http://arxiv.org/abs/1701.08625},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/HoangVSBWB17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/scp/BanachBQZ17,
  author    = {Richard Banach and
               Michael J. Butler and
               Shengchao Qin and
               Huibiao Zhu},
  title     = {Core Hybrid Event-B {II:} Multiple cooperating Hybrid Event-B machines},
  journal   = {Sci. Comput. Program.},
  volume    = {139},
  pages     = {1--35},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.scico.2016.12.003},
  doi       = {10.1016/j.scico.2016.12.003},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/scp/BanachBQZ17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/nfm/SnookHB17,
  author    = {Colin F. Snook and
               Thai Son Hoang and
               Michael J. Butler},
  title     = {Analysing Security Protocols Using Refinement in iUML-B},
  booktitle = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett
               Field, CA, USA, May 16-18, 2017, Proceedings},
  pages     = {84--98},
  year      = {2017},
  crossref  = {DBLP:conf/nfm/2017},
  url       = {https://doi.org/10.1007/978-3-319-57288-8_6},
  doi       = {10.1007/978-3-319-57288-8_6},
  timestamp = {Thu, 25 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/nfm/SnookHB17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/DarbariSBC16,
  author    = {Ashish Darbari and
               Iain Singleton and
               Michael J. Butler and
               John Colley},
  title     = {Formal Modelling, Testing and Verification of {HSA} Memory Models
               using Event-B},
  journal   = {CoRR},
  volume    = {abs/1605.04744},
  year      = {2016},
  url       = {http://arxiv.org/abs/1605.04744},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/DarbariSBC16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/asm/DghaymTBF16,
  author    = {Dana Dghaym and
               Matheus Garay Trindade and
               Michael J. Butler and
               Asieh Salehi Fathabadi},
  title     = {A Graphical Tool for Event Refinement Structures in Event-B},
  booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 5th International
               Conference, {ABZ} 2016, Linz, Austria, May 23-27, 2016, Proceedings},
  pages     = {269--274},
  year      = {2016},
  crossref  = {DBLP:conf/asm/2016},
  url       = {https://doi.org/10.1007/978-3-319-33600-8_20},
  doi       = {10.1007/978-3-319-33600-8_20},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/DghaymTBF16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/asm/HoangSLB16,
  author    = {Thai Son Hoang and
               Colin F. Snook and
               Lukas Ladenberger and
               Michael J. Butler},
  title     = {Validating the Requirements and Design of a Hemodialysis Machine Using
               iUML-B, BMotion Studio, and Co-Simulation},
  booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 5th International
               Conference, {ABZ} 2016, Linz, Austria, May 23-27, 2016, Proceedings},
  pages     = {360--375},
  year      = {2016},
  crossref  = {DBLP:conf/asm/2016},
  url       = {https://doi.org/10.1007/978-3-319-33600-8_31},
  doi       = {10.1007/978-3-319-33600-8_31},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/HoangSLB16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BanachB16,
  author    = {Richard Banach and
               Michael J. Butler},
  title     = {Modelling Hybrid Systems in Event-B and Hybrid Event-B: {A} Comparison
               of Water Tanks},
  booktitle = {Formal Methods and Software Engineering - 18th International Conference
               on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
               14-18, 2016, Proceedings},
  pages     = {90--105},
  year      = {2016},
  crossref  = {DBLP:conf/icfem/2016},
  url       = {https://doi.org/10.1007/978-3-319-47846-3_7},
  doi       = {10.1007/978-3-319-47846-3_7},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/BanachB16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:books/crc/p/ButlerAB16,
  author    = {Michael J. Butler and
               Jean{-}Raymond Abrial and
               Richard Banach},
  title     = {Modelling and Refining Hybrid Systems in Event-B and Rodin},
  booktitle = {From Action Systems to Distributed Systems - The Refinement Approach.},
  pages     = {29--42},
  year      = {2016},
  crossref  = {DBLP:books/crc/asds2016},
  url       = {https://doi.org/10.1201/b20053-5},
  doi       = {10.1201/b20053-5},
  timestamp = {Tue, 16 May 2017 14:01:47 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/books/crc/p/ButlerAB16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/asm/2016,
  editor    = {Michael J. Butler and
               Klaus{-}Dieter Schewe and
               Atif Mashkoor and
               Mikl{\'{o}}s Bir{\'{o}}},
  title     = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 5th International
               Conference, {ABZ} 2016, Linz, Austria, May 23-27, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9675},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-33600-8},
  doi       = {10.1007/978-3-319-33600-8},
  isbn      = {978-3-319-33599-5},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/eceasst/DalvandiBR15,
  author    = {Mohammadsadegh Dalvandi and
               Michael J. Butler and
               Abdolbaghi Rezazadeh},
  title     = {Transforming Event-B Models to Dafny Contracts},
  journal   = {{ECEASST}},
  volume    = {72},
  year      = {2015},
  url       = {http://journal.ub.tu-berlin.de/eceasst/article/view/1021},
  timestamp = {Fri, 11 Dec 2015 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/eceasst/DalvandiBR15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fac/EleftherakisBH15,
  author    = {George Eleftherakis and
               Michael J. Butler and
               Mike Hinchey},
  title     = {Editorial},
  journal   = {Formal Asp. Comput.},
  volume    = {27},
  number    = {3},
  pages     = {473},
  year      = {2015},
  url       = {https://doi.org/10.1007/s00165-015-0335-1},
  doi       = {10.1007/s00165-015-0335-1},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fac/EleftherakisBH15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fac/FathabadiBR15,
  author    = {Asieh Salehi Fathabadi and
               Michael J. Butler and
               Abdolbaghi Rezazadeh},
  title     = {Language and tool support for event refinement structures in Event-B},
  journal   = {Formal Asp. Comput.},
  volume    = {27},
  number    = {3},
  pages     = {499--523},
  year      = {2015},
  url       = {https://doi.org/10.1007/s00165-014-0311-1},
  doi       = {10.1007/s00165-014-0311-1},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fac/FathabadiBR15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fac/ButlerJP15,
  author    = {Michael J. Butler and
               Einar Broch Johnsen and
               Luigia Petre},
  title     = {Editorial},
  journal   = {Formal Asp. Comput.},
  volume    = {27},
  number    = {4},
  pages     = {611--612},
  year      = {2015},
  url       = {https://doi.org/10.1007/s00165-015-0338-y},
  doi       = {10.1007/s00165-015-0338-y},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fac/ButlerJP15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/scp/BanachBQVZ15,
  author    = {Richard Banach and
               Michael J. Butler and
               Shengchao Qin and
               Nitika Verma and
               Huibiao Zhu},
  title     = {Core Hybrid Event-B {I:} Single Hybrid Event-B machines},
  journal   = {Sci. Comput. Program.},
  volume    = {105},
  pages     = {92--123},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.scico.2015.02.003},
  doi       = {10.1016/j.scico.2015.02.003},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/scp/BanachBQVZ15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/scp/AlkhammashBFC15,
  author    = {Eman Alkhammash and
               Michael J. Butler and
               Asieh Salehi Fathabadi and
               Corina C{\^{\i}}rstea},
  title     = {Building traceable Event-B models from requirements},
  journal   = {Sci. Comput. Program.},
  volume    = {111},
  pages     = {318--338},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.scico.2015.06.002},
  doi       = {10.1016/j.scico.2015.06.002},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/scp/AlkhammashBFC15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sosym/SaidBS15,
  author    = {Mar Yah Said and
               Michael J. Butler and
               Colin F. Snook},
  title     = {A method of refinement in {UML-B}},
  journal   = {Software and System Modeling},
  volume    = {14},
  number    = {4},
  pages     = {1557--1580},
  year      = {2015},
  url       = {https://doi.org/10.1007/s10270-013-0391-z},
  doi       = {10.1007/s10270-013-0391-z},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/sosym/SaidBS15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fsen/DalvandiBR15,
  author    = {Mohammadsadegh Dalvandi and
               Michael J. Butler and
               Abdolbaghi Rezazadeh},
  title     = {From Event-B Models to Dafny Code Contracts},
  booktitle = {Fundamentals of Software Engineering - 6th International Conference,
               {FSEN} 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers},
  pages     = {308--315},
  year      = {2015},
  crossref  = {DBLP:conf/fsen/2015},
  url       = {https://doi.org/10.1007/978-3-319-24644-4_21},
  doi       = {10.1007/978-3-319-24644-4_21},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fsen/DalvandiBR15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mcsoc/FathabadiMBAM15,
  author    = {Asieh Salehi Fathabadi and
               Luis Alfonso Maeda{-}Nunez and
               Michael J. Butler and
               Bashir M. Al{-}Hashimi and
               Geoff V. Merrett},
  title     = {Towards Automatic Code Generation of Run-Time Power Management for
               Embedded Systems Using Formal Methods},
  booktitle = {{IEEE} 9th International Symposium on Embedded Multicore/Many-core
               Systems-on-Chip, MCSoC 2015, Turin, Italy, September 23-25, 2015},
  pages     = {104--111},
  year      = {2015},
  crossref  = {DBLP:conf/mcsoc/2015},
  url       = {https://doi.org/10.1109/MCSoC.2015.28},
  doi       = {10.1109/MCSoC.2015.28},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/mcsoc/FathabadiMBAM15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/asm/PereverzevaBFLT14,
  author    = {Inna Pereverzeva and
               Michael J. Butler and
               Asieh Salehi Fathabadi and
               Linas Laibinis and
               Elena Troubitsyna},
  title     = {Formal Derivation of Distributed MapReduce},
  booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 4th International
               Conference, {ABZ} 2014, Toulouse, France, June 2-6, 2014. Proceedings},
  pages     = {238--254},
  year      = {2014},
  crossref  = {DBLP:conf/asm/2014},
  url       = {https://doi.org/10.1007/978-3-662-43652-3_21},
  doi       = {10.1007/978-3-662-43652-3_21},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/PereverzevaBFLT14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ifm/FathabadiSB14,
  author    = {Asieh Salehi Fathabadi and
               Colin F. Snook and
               Michael J. Butler},
  title     = {Applying an Integrated Modelling Process to Run-time Management of
               Many-Core Systems},
  booktitle = {Integrated Formal Methods - 11th International Conference, {IFM} 2014,
               Bertinoro, Italy, September 9-11, 2014, Proceedings},
  pages     = {120--135},
  year      = {2014},
  crossref  = {DBLP:conf/ifm/2014},
  url       = {https://doi.org/10.1007/978-3-319-10181-1_8},
  doi       = {10.1007/978-3-319-10181-1_8},
  timestamp = {Wed, 24 May 2017 08:28:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifm/FathabadiSB14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/imbsa/WilkinsonBC14,
  author    = {Toby Wilkinson and
               Michael J. Butler and
               John Colley},
  title     = {A Systematic Approach to Requirements Driven Test Generation for Safety
               Critical Systems},
  booktitle = {Model-Based Safety and Assessment - 4th International Symposium, {IMBSA}
               2014, Munich, Germany, October 27-29, 2014. Proceedings},
  pages     = {43--56},
  year      = {2014},
  crossref  = {DBLP:conf/imbsa/2014},
  url       = {https://doi.org/10.1007/978-3-319-12214-4_4},
  doi       = {10.1007/978-3-319-12214-4_4},
  timestamp = {Wed, 17 May 2017 14:24:32 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/imbsa/WilkinsonBC14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/summersim/SavicksBC14,
  author    = {Vitaly Savicks and
               Michael J. Butler and
               John Colley},
  title     = {Co-simulating event-B and continuous models via {FMI}},
  booktitle = {Proceedings of the 2014 Summer Simulation Multiconference, SummerSim
               2014, Monterey, CA, USA, July 6-10, 2014},
  pages     = {37},
  year      = {2014},
  crossref  = {DBLP:conf/summersim/2014},
  url       = {http://dl.acm.org/citation.cfm?id=2685654},
  timestamp = {Tue, 02 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/summersim/SavicksBC14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/eceasst/AlkhammashFBC13,
  author    = {Eman Alkhammash and
               Asieh Salehi Fathabadi and
               Michael J. Butler and
               Corina C{\^{\i}}rstea},
  title     = {Building Traceable Event-B Models from Requirements},
  journal   = {{ECEASST}},
  volume    = {66},
  year      = {2013},
  url       = {http://journal.ub.tu-berlin.de/eceasst/article/view/894},
  timestamp = {Tue, 02 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/eceasst/AlkhammashFBC13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/eceasst/DghaymBF13,
  author    = {Dana Dghaym and
               Michael J. Butler and
               Asieh Salehi Fathabadi},
  title     = {Evaluation of Graphical Control Flow Management Approaches for Event-B
               Modelling},
  journal   = {{ECEASST}},
  volume    = {66},
  year      = {2013},
  url       = {http://journal.ub.tu-berlin.de/eceasst/article/view/891},
  timestamp = {Tue, 02 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/eceasst/DghaymBF13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fac/BowenBRH13,
  author    = {Jonathan P. Bowen and
               Michael J. Butler and
               Steve Reeves and
               Mike Hinchey},
  title     = {Editorial},
  journal   = {Formal Asp. Comput.},
  volume    = {25},
  number    = {3},
  pages     = {343},
  year      = {2013},
  url       = {https://doi.org/10.1007/s00165-013-0281-8},
  doi       = {10.1007/s00165-013-0281-8},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fac/BowenBRH13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/scp/IrelandGLB13,
  author    = {Andrew Ireland and
               Gudmund Grov and
               Maria Teresa Llano and
               Michael J. Butler},
  title     = {Reasoned modelling critics: Turning failed proofs into modelling guidance},
  journal   = {Sci. Comput. Program.},
  volume    = {78},
  number    = {3},
  pages     = {293--309},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.scico.2011.03.006},
  doi       = {10.1016/j.scico.2011.03.006},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/scp/IrelandGLB13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ButlerM13,
  author    = {Michael J. Butler and
               Issam Maamria},
  title     = {Practical Theory Extension in Event-B},
  booktitle = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
               He on the Occasion of His 70th Birthday},
  pages     = {67--81},
  year      = {2013},
  crossref  = {DBLP:conf/birthday/2013he},
  url       = {https://doi.org/10.1007/978-3-642-39698-4_5},
  doi       = {10.1007/978-3-642-39698-4_5},
  timestamp = {Thu, 15 Jun 2017 21:34:41 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/ButlerM13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/cacsd/SatpathyRSSB13,
  author    = {Manoranjan Satpathy and
               S. Ramesh and
               Colin F. Snook and
               Neeraj Kumar Singh and
               Michael J. Butler},
  title     = {A mixed approach to rigorous development of control designs},
  booktitle = {2013 {IEEE} International Symposium on Computer-Aided Control System
               Design, {CACSD} 2013, Hyderabad, India, August 28-30, 2013},
  pages     = {7--12},
  year      = {2013},
  crossref  = {DBLP:conf/cacsd/2013},
  url       = {https://doi.org/10.1109/CACSD.2013.6663474},
  doi       = {10.1109/CACSD.2013.6663474},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cacsd/SatpathyRSSB13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/csdm/BanachB13,
  author    = {Richard Banach and
               Michael J. Butler},
  title     = {A Hybrid Event-B Study of Lane Centering},
  booktitle = {Complex Systems Design {\&} Management, Proceedings of the Fourth
               International Conference on Complex Systems Design {\&} Management
               CSD{\&}M 2013, Paris, France, December 4-6, 2013},
  pages     = {97--111},
  year      = {2013},
  crossref  = {DBLP:conf/csdm/2013},
  url       = {https://doi.org/10.1007/978-3-319-02812-5_8},
  doi       = {10.1007/978-3-319-02812-5_8},
  timestamp = {Wed, 24 May 2017 08:27:32 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/csdm/BanachB13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BanachB13,
  author    = {Richard Banach and
               Michael J. Butler},
  title     = {Cruise Control in Hybrid Event-B},
  booktitle = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
               Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  pages     = {76--93},
  year      = {2013},
  crossref  = {DBLP:conf/ictac/2013},
  url       = {https://doi.org/10.1007/978-3-642-39718-9_5},
  doi       = {10.1007/978-3-642-39718-9_5},
  timestamp = {Thu, 15 Jun 2017 21:43:42 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ictac/BanachB13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iri/YeganefardB13,
  author    = {Sanaz Yeganefard and
               Michael J. Butler},
  title     = {Problem decomposition and sub-model reconciliation of control systems
               in Event-B},
  booktitle = {{IEEE} 14th International Conference on Information Reuse {\&}
               Integration, {IRI} 2013, San Francisco, CA, USA, August 14-16, 2013},
  pages     = {528--535},
  year      = {2013},
  crossref  = {DBLP:conf/iri/2013},
  url       = {https://doi.org/10.1109/IRI.2013.6642515},
  doi       = {10.1109/IRI.2013.6642515},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iri/YeganefardB13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/modelsward/SatpathySARB13,
  author    = {Manoranjan Satpathy and
               Colin F. Snook and
               Silky Arora and
               S. Ramesh and
               Michael J. Butler},
  title     = {Systematic Development of Control Designs via Formal Refinement},
  booktitle = {{MODELSWARD} 2013 - Proceedings of the 1st International Conference
               on Model-Driven Engineering and Software Development, Barcelona, Spain,
               19 - 21 February, 2013},
  pages     = {143--148},
  year      = {2013},
  crossref  = {DBLP:conf/modelsward/2013},
  url       = {https://doi.org/10.5220/0004321001430148},
  doi       = {10.5220/0004321001430148},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/modelsward/SatpathySARB13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1305-6112,
  author    = {Michael J. Butler and
               John Colley and
               Andrew Edmunds and
               Colin F. Snook and
               Neil Evans and
               Neil Grant and
               Helen Marshall},
  title     = {Modelling and Refinement in {CODA}},
  booktitle = {Proceedings 16th International Refinement Workshop, Refine@IFM 2013,
               Turku, Finland, 11th June 2013.},
  pages     = {36--51},
  year      = {2013},
  crossref  = {DBLP:journals/corr/abs-1305-5634},
  url       = {https://doi.org/10.4204/EPTCS.115.3},
  doi       = {10.4204/EPTCS.115.3},
  timestamp = {Wed, 03 May 2017 14:47:55 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1305-6112},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:books/daglib/p/ButlerVM13,
  author    = {Michael J. Butler and
               Laurent Voisin and
               Thomas Muller},
  title     = {Tooling},
  booktitle = {Industrial Deployment of System Engineering Methods},
  pages     = {157--185},
  year      = {2013},
  crossref  = {DBLP:books/daglib/0032363},
  url       = {https://doi.org/10.1007/978-3-642-33170-1_12},
  doi       = {10.1007/978-3-642-33170-1_12},
  timestamp = {Tue, 16 May 2017 14:01:41 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/books/daglib/p/ButlerVM13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:series/natosec/Butler13,
  author    = {Michael J. Butler},
  title     = {Mastering System Analysis and Design through Abstraction and Refinement},
  booktitle = {Engineering Dependable Software Systems},
  pages     = {49--78},
  year      = {2013},
  crossref  = {DBLP:series/natosec/34},
  url       = {https://doi.org/10.3233/978-1-61499-207-3-49},
  doi       = {10.3233/978-1-61499-207-3-49},
  timestamp = {Tue, 16 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/series/natosec/Butler13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-7034,
  author    = {Andrew Edmunds and
               Michael J. Butler and
               John Colley},
  title     = {Building on the {DEPLOY} Legacy: Code Generation and Simulation},
  journal   = {CoRR},
  volume    = {abs/1210.7034},
  year      = {2012},
  url       = {http://arxiv.org/abs/1210.7034},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1210-7034},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fac/Butler12,
  author    = {Michael J. Butler},
  title     = {External and internal choice with event groups in Event-B},
  journal   = {Formal Asp. Comput.},
  volume    = {24},
  number    = {4-6},
  pages     = {555--567},
  year      = {2012},
  url       = {https://doi.org/10.1007/s00165-012-0239-2},
  doi       = {10.1007/s00165-012-0239-2},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fac/Butler12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/adaEurope/EdmundsRB12,
  author    = {Andrew Edmunds and
               Abdolbaghi Rezazadeh and
               Michael J. Butler},
  title     = {Formal Modelling for Ada Implementations: Tasking Event-B},
  booktitle = {Reliable Software Technologies - Ada-Europe 2012 - 17th Ada-Europe
               International Conference on Reliable Software Technologies, Stockholm,
               Sweden, June 11-15, 2012. Proceedings},
  pages     = {119--132},
  year      = {2012},
  crossref  = {DBLP:conf/adaEurope/2012},
  url       = {https://doi.org/10.1007/978-3-642-30598-6_9},
  doi       = {10.1007/978-3-642-30598-6_9},
  timestamp = {Mon, 29 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/adaEurope/EdmundsRB12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/asm/EdmundsBMSL12,
  author    = {Andrew Edmunds and
               Michael J. Butler and
               Issam Maamria and
               Renato Silva and
               Chris Lovell},
  title     = {Event-B Code Generation: Type Extension with Theories},
  booktitle = {Abstract State Machines, Alloy, B, VDM, and {Z} - Third International
               Conference, {ABZ} 2012, Pisa, Italy, June 18-21, 2012. Proceedings},
  pages     = {365--368},
  year      = {2012},
  crossref  = {DBLP:conf/asm/2012},
  url       = {https://doi.org/10.1007/978-3-642-30885-7_33},
  doi       = {10.1007/978-3-642-30885-7_33},
  timestamp = {Thu, 01 Jun 2017 18:58:31 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/EdmundsBMSL12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/YeganefardB12,
  author    = {Sanaz Yeganefard and
               Michael J. Butler},
  title     = {Control Systems: Phenomena and Structuring Functional Requirement
               Documents},
  booktitle = {17th {IEEE} International Conference on Engineering of Complex Computer
               Systems, {ICECCS} 2012, Paris, France, July 18-20, 2012},
  pages     = {39--48},
  year      = {2012},
  crossref  = {DBLP:conf/iceccs/2012},
  url       = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2012.13},
  doi       = {10.1109/ICECCS.2012.13},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iceccs/YeganefardB12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FathabadiBR12,
  author    = {Asieh Salehi Fathabadi and
               Michael J. Butler and
               Abdolbaghi Rezazadeh},
  title     = {A Systematic Approach to Atomicity Decomposition in Event-B},
  booktitle = {Software Engineering and Formal Methods - 10th International Conference,
               {SEFM} 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings},
  pages     = {78--93},
  year      = {2012},
  crossref  = {DBLP:conf/sefm/2012},
  url       = {https://doi.org/10.1007/978-3-642-33826-7_6},
  doi       = {10.1007/978-3-642-33826-7_6},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sefm/FathabadiBR12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BicknellRBCS12,
  author    = {Brett Bicknell and
               Jose Reis and
               Michael J. Butler and
               John Colley and
               Colin F. Snook},
  title     = {A Practical Approach for Closed Systems Formal Verification Using
               Event-B},
  booktitle = {Software Engineering and Formal Methods - 10th International Conference,
               {SEFM} 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings},
  pages     = {323--332},
  year      = {2012},
  crossref  = {DBLP:conf/sefm/2012},
  url       = {https://doi.org/10.1007/978-3-642-33826-7_22},
  doi       = {10.1007/978-3-642-33826-7_22},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sefm/BicknellRBCS12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/eceasst/SarshoghB11,
  author    = {Mohammad Reza Sarshogh and
               Michael J. Butler},
  title     = {Specification and refinement of discrete timing properties in Event-B},
  journal   = {{ECEASST}},
  volume    = {46},
  year      = {2011},
  url       = {http://journal.ub.tu-berlin.de/eceasst/article/view/701},
  timestamp = {Tue, 02 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/eceasst/SarshoghB11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/eceasst/YeganefardB11,
  author    = {Sanaz Yeganefard and
               Michael J. Butler},
  title     = {Structuring Functional Requirements of Control Systems to Facilitate
               Refinement-based Formalisation},
  journal   = {{ECEASST}},
  volume    = {46},
  year      = {2011},
  url       = {http://journal.ub.tu-berlin.de/eceasst/article/view/695},
  timestamp = {Tue, 02 Dec 2014 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/eceasst/YeganefardB11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/spe/SilvaPHB11,
  author    = {Renato Silva and
               Carine Pascal and
               Thai Son Hoang and
               Michael J. Butler},
  title     = {Decomposition tool for event-B},
  journal   = {Softw., Pract. Exper.},
  volume    = {41},
  number    = {2},
  pages     = {199--208},
  year      = {2011},
  url       = {https://doi.org/10.1002/spe.1002},
  doi       = {10.1002/spe.1002},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/spe/SilvaPHB11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/nfm/FathabadiRB11,
  author    = {Asieh Salehi Fathabadi and
               Abdolbaghi Rezazadeh and
               Michael J. Butler},
  title     = {Applying Atomicity and Model Decomposition to a Space Craft System
               in Event-B},
  booktitle = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
               Pasadena, CA, USA, April 18-20, 2011. Proceedings},
  pages     = {328--342},
  year      = {2011},
  crossref  = {DBLP:conf/nfm/2011},
  url       = {https://doi.org/10.1007/978-3-642-20398-5_24},
  doi       = {10.1007/978-3-642-20398-5_24},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/nfm/FathabadiRB11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/soco/GondalPB11,
  author    = {Ali Gondal and
               Michael Poppleton and
               Michael J. Butler},
  title     = {Composing Event-B Specifications - Case-Study Experience},
  booktitle = {Software Composition - 10th International Conference, {SC} 2011, Zurich,
               Switzerland, June 30 - July 1, 2011. Proceedings},
  pages     = {100--115},
  year      = {2011},
  crossref  = {DBLP:conf/soco/2011},
  url       = {https://doi.org/10.1007/978-3-642-22045-6_7},
  doi       = {10.1007/978-3-642-22045-6_7},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/soco/GondalPB11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fm/2011,
  editor    = {Michael J. Butler and
               Wolfram Schulte},
  title     = {{FM} 2011: Formal Methods - 17th International Symposium on Formal
               Methods, Limerick, Ireland, June 20-24, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6664},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-21437-0},
  doi       = {10.1007/978-3-642-21437-0},
  isbn      = {978-3-642-21436-3},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1001-3464,
  author    = {Shamim Ripon and
               Michael J. Butler},
  title     = {Formalizing cCSP Synchronous Semantics in {PVS}},
  journal   = {CoRR},
  volume    = {abs/1001.3464},
  year      = {2010},
  url       = {http://arxiv.org/abs/1001.3464},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1001-3464},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/corr/abs-1002-3330,
  author    = {Shamim Ripon and
               Michael J. Butler},
  title     = {Deriving Relationship Between Semantic Models - An Approach for cCSP},
  journal   = {CoRR},
  volume    = {abs/1002.3330},
  year      = {2010},
  url       = {http://arxiv.org/abs/1002.3330},
  timestamp = {Wed, 07 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1002-3330},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fac/BoitenBDS10,
  author    = {Eerke A. Boiten and
               Michael J. Butler and
               John Derrick and
               Graeme Smith},
  title     = {Editorial},
  journal   = {Formal Asp. Comput.},
  volume    = {22},
  number    = {1},
  pages     = {1},
  year      = {2010},
  url       = {https://doi.org/10.1007/s00165-009-0147-2},
  doi       = {10.1007/s00165-009-0147-2},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fac/BoitenBDS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sttt/AbrialBHHMV10,
  author    = {Jean{-}Raymond Abrial and
               Michael J. Butler and
               Stefan Hallerstede and
               Thai Son Hoang and
               Farhad Mehta and
               Laurent Voisin},
  title     = {Rodin: an open toolset for modelling and reasoning in Event-B},
  journal   = {{STTT}},
  volume    = {12},
  number    = {6},
  pages     = {447--466},
  year      = {2010},
  url       = {https://doi.org/10.1007/s10009-010-0145-y},
  doi       = {10.1007/s10009-010-0145-y},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/sttt/AbrialBHHMV10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/asm/IrelandGB10,
  author    = {Andrew Ireland and
               Gudmund Grov and
               Michael J. Butler},
  title     = {Reasoned Modelling Critics: Turning Failed Proofs into Modelling Guidance},
  booktitle = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
               {ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
  pages     = {189--202},
  year      = {2010},
  crossref  = {DBLP:conf/asm/2010},
  url       = {https://doi.org/10.1007/978-3-642-11811-1_15},
  doi       = {10.1007/978-3-642-11811-1_15},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/IrelandGB10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/asm/TurnerBL10,
  author    = {Edd Turner and
               Michael J. Butler and
               Michael Leuschel},
  title     = {A Refinement-Based Correctness Proof of Symmetry Reduced Model Checking},
  booktitle = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
               {ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
  pages     = {231--244},
  year      = {2010},
  crossref  = {DBLP:conf/asm/2010},
  url       = {https://doi.org/10.1007/978-3-642-11811-1_18},
  doi       = {10.1007/978-3-642-11811-1_18},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/TurnerBL10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/asm/MaamriaBER10,
  author    = {Issam Maamria and
               Michael J. Butler and
               Andrew Edmunds and
               Abdolbaghi Rezazadeh},
  title     = {On an Extensible Rule-Based Prover for Event-B},
  booktitle = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
               {ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
  pages     = {407},
  year      = {2010},
  crossref  = {DBLP:conf/asm/2010},
  url       = {https://doi.org/10.1007/978-3-642-11811-1_40},
  doi       = {10.1007/978-3-642-11811-1_40},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/MaamriaBER10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/asm/SorgePB10,
  author    = {Jennifer Sorge and
               Michael Poppleton and
               Michael J. Butler},
  title     = {A Basis for Feature-Oriented Modelling in Event-B},
  booktitle = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
               {ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
  pages     = {409},
  year      = {2010},
  crossref  = {DBLP:conf/asm/2010},
  url       = {https://doi.org/10.1007/978-3-642-11811-1_42},
  doi       = {10.1007/978-3-642-11811-1_42},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/SorgePB10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fmco/SilvaB10,
  author    = {Renato Silva and
               Michael J. Butler},
  title     = {Shared Event Composition/Decomposition in Event-B},
  booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
               {FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
               Papers},
  pages     = {122--141},
  year      = {2010},
  crossref  = {DBLP:conf/fmco/2010},
  url       = {https://doi.org/10.1007/978-3-642-25271-6_7},
  doi       = {10.1007/978-3-642-25271-6_7},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmco/SilvaB10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fmco/SnookSB10,
  author    = {Colin F. Snook and
               Vitaly Savicks and
               Michael J. Butler},
  title     = {Verification of {UML} Models by Translation to {UML-B}},
  booktitle = {Formal Methods for Components and Objects - 9th International Symposium,
               {FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
               Papers},
  pages     = {251--266},
  year      = {2010},
  crossref  = {DBLP:conf/fmco/2010},
  url       = {https://doi.org/10.1007/978-3-642-25271-6_13},
  doi       = {10.1007/978-3-642-25271-6_13},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmco/SnookSB10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/itp/MaamriaB10,
  author    = {Issam Maamria and
               Michael J. Butler},
  title     = {Rewriting and Well-Definedness within a Proof System},
  booktitle = {Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010,
               Edinburgh, UK, July 15, 2010},
  pages     = {54--70},
  year      = {2010},
  crossref  = {DBLP:conf/itp/2010par},
  url       = {http://www.easychair.org/publications/?page=1687387730},
  timestamp = {Fri, 17 Jun 2016 10:16:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/itp/MaamriaB10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/nfm/YeganefardBR10,
  author    = {Sanaz Yeganefard and
               Michael J. Butler and
               Abdolbaghi Rezazadeh},
  title     = {Evaluation of a Guideline by Formal Modelling of Cruise Control System
               in Event-B},
  booktitle = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
               USA, April 13-15, 2010. Proceedings},
  pages     = {182--191},
  year      = {2010},
  crossref  = {DBLP:conf/nfm/2010},
  timestamp = {Thu, 23 Jun 2016 15:53:27 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/nfm/YeganefardBR10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1012-4897,
  author    = {Issam Maamria and
               Michael J. Butler},
  title     = {Rewriting and Well-Definedness within a Proof System},
  booktitle = {Proceedings Workshop on Partiality and Recursion in Interactive Theorem
               Provers, {PAR} 2010, Edinburgh, UK, 15th July 2010.},
  pages     = {49--64},
  year      = {2010},
  crossref  = {DBLP:journals/corr/abs-1012-4555},
  url       = {https://doi.org/10.4204/EPTCS.43.4},
  doi       = {10.4204/EPTCS.43.4},
  timestamp = {Wed, 03 May 2017 14:47:54 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1012-4897},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/RiponB09,
  author    = {Shamim Ripon and
               Michael J. Butler},
  title     = {{PVS} Embedding of cCSP Semantic Models and Their Relationship},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {250},
  number    = {2},
  pages     = {103--118},
  year      = {2009},
  url       = {https://doi.org/10.1016/j.entcs.2009.08.020},
  doi       = {10.1016/j.entcs.2009.08.020},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/entcs/RiponB09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LeuschelCB09,
  author    = {Michael Leuschel and
               Dominique Cansell and
               Michael J. Butler},
  title     = {Validating and Animating Higher-Order Recursive Functions in {B}},
  booktitle = {Rigorous Methods for Software Construction and Analysis, Essays Dedicated
               to Egon B{\"{o}}rger on the Occasion of His 60th Birthday},
  pages     = {78--92},
  year      = {2009},
  crossref  = {DBLP:conf/birthday/2009borger},
  url       = {https://doi.org/10.1007/978-3-642-11447-2_6},
  doi       = {10.1007/978-3-642-11447-2_6},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/LeuschelCB09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fm/SaidBS09,
  author    = {Mar Yah Said and
               Michael J. Butler and
               Colin F. Snook},
  title     = {Language and Tool Support for Class and State Machine Refinement in
               {UML-B}},
  booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
               November 2-6, 2009. Proceedings},
  pages     = {579--595},
  year      = {2009},
  crossref  = {DBLP:conf/fm/2009},
  url       = {https://doi.org/10.1007/978-3-642-05089-3_37},
  doi       = {10.1007/978-3-642-05089-3_37},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/SaidBS09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fmco/FathabadiB09,
  author    = {Asieh Salehi Fathabadi and
               Michael J. Butler},
  title     = {Applying Event-B Atomicity Decomposition to a Multi Media Protocol},
  booktitle = {Formal Methods for Components and Objects - 8th International Symposium,
               {FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
               Selected Papers},
  pages     = {89--104},
  year      = {2009},
  crossref  = {DBLP:conf/fmco/2009},
  url       = {https://doi.org/10.1007/978-3-642-17071-3_5},
  doi       = {10.1007/978-3-642-17071-3_5},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmco/FathabadiB09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ic3/YadavB09,
  author    = {Divakar Yadav and
               Michael J. Butler},
  title     = {Verification of Liveness Properties in Distributed Systems},
  booktitle = {Contemporary Computing - Second International Conference, {IC3} 2009,
               Noida, India, August 17-19, 2009. Proceedings},
  pages     = {625--636},
  year      = {2009},
  crossref  = {DBLP:conf/ic3/2009},
  url       = {https://doi.org/10.1007/978-3-642-03547-0_59},
  doi       = {10.1007/978-3-642-03547-0_59},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ic3/YadavB09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfem/SilvaB09,
  author    = {Renato Silva and
               Michael J. Butler},
  title     = {Supporting Reuse of Event-B Developments through Generic Instantiation},
  booktitle = {Formal Methods and Software Engineering, 11th International Conference
               on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil,
               December 9-12, 2009. Proceedings},
  pages     = {466--484},
  year      = {2009},
  crossref  = {DBLP:conf/icfem/2009},
  url       = {https://doi.org/10.1007/978-3-642-10373-5_24},
  doi       = {10.1007/978-3-642-10373-5_24},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/SilvaB09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ifm/Butler09,
  author    = {Michael J. Butler},
  title     = {Decomposition Structures for Event-B},
  booktitle = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
               D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
  pages     = {20--38},
  year      = {2009},
  crossref  = {DBLP:conf/ifm/2009},
  url       = {https://doi.org/10.1007/978-3-642-00255-7_2},
  doi       = {10.1007/978-3-642-00255-7_2},
  timestamp = {Wed, 24 May 2017 08:28:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifm/Butler09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/DamchoomB09,
  author    = {Kriangsak Damchoom and
               Michael J. Butler},
  title     = {Applying Event and Machine Decomposition to a Flash-Based Filestore
               in Event-B},
  booktitle = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
               on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
               Revised Selected Papers},
  pages     = {134--152},
  year      = {2009},
  crossref  = {DBLP:conf/sbmf/2009},
  url       = {https://doi.org/10.1007/978-3-642-10452-7_10},
  doi       = {10.1007/978-3-642-10452-7_10},
  timestamp = {Thu, 15 Jun 2017 21:33:57 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sbmf/DamchoomB09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:series/lncs/BallB09,
  author    = {Elisabeth Ball and
               Michael J. Butler},
  title     = {Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction},
  booktitle = {Methods, Models and Tools for Fault Tolerance},
  pages     = {104--129},
  year      = {2009},
  crossref  = {DBLP:series/lncs/5454},
  url       = {https://doi.org/10.1007/978-3-642-00867-2_6},
  doi       = {10.1007/978-3-642-00867-2_6},
  timestamp = {Fri, 09 Jun 2017 11:04:34 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/series/lncs/BallB09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:series/lncs/YadavB09,
  author    = {Divakar Yadav and
               Michael J. Butler},
  title     = {Formal Development of a Total Order Broadcast for Distributed Transactions
               Using Event-B},
  booktitle = {Methods, Models and Tools for Fault Tolerance},
  pages     = {152--176},
  year      = {2009},
  crossref  = {DBLP:series/lncs/5454},
  url       = {https://doi.org/10.1007/978-3-642-00867-2_8},
  doi       = {10.1007/978-3-642-00867-2_8},
  timestamp = {Fri, 09 Jun 2017 11:04:34 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/series/lncs/YadavB09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2009P9381,
  editor    = {Jean{-}Raymond Abrial and
               Michael J. Butler and
               Rajev Joshi and
               Elena Troubitsyna and
               J. C. P. Woodcock},
  title     = {Refinement Based Methods for the Construction of Dependable Systems,
               13.09. - 18.09.2009},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {09381},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year      = {2009},
  url       = {http://drops.dagstuhl.de/portals/09381/},
  timestamp = {Wed, 08 Apr 2015 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dagstuhl/2009P9381},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:series/lncs/5454,
  editor    = {Michael J. Butler and
               Cliff B. Jones and
               Alexander Romanovsky and
               Elena Troubitsyna},
  title     = {Methods, Models and Tools for Fault Tolerance},
  series    = {Lecture Notes in Computer Science},
  volume    = {5454},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00867-2},
  doi       = {10.1007/978-3-642-00867-2},
  isbn      = {978-3-642-00866-5},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/series/lncs/5454},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/AbrialBJTW09,
  author    = {Jean{-}Raymond Abrial and
               Michael J. Butler and
               Rajev Joshi and
               Elena Troubitsyna and
               J. C. P. Woodcock},
  title     = {09381 Extended Abstracts Collection - Refinement Based Methods for
               the Construction of Dependable Systems},
  booktitle = {Refinement Based Methods for the Construction of Dependable Systems,
               13.09. - 18.09.2009},
  year      = {2009},
  crossref  = {DBLP:conf/dagstuhl/2009P9381},
  url       = {http://drops.dagstuhl.de/opus/volltexte/2010/2374/},
  timestamp = {Fri, 10 Apr 2015 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dagstuhl/AbrialBJTW09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/EdmundsB08,
  author    = {Andrew Edmunds and
               Michael J. Butler},
  title     = {Linking Event-B and Concurrent Object-Oriented Programs},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {214},
  pages     = {159--182},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.entcs.2008.06.008},
  doi       = {10.1016/j.entcs.2008.06.008},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/entcs/EdmundsB08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fac/ButlerY08,
  author    = {Michael J. Butler and
               Divakar Yadav},
  title     = {An incremental development of the Mondex system in Event-B},
  journal   = {Formal Asp. Comput.},
  volume    = {20},
  number    = {1},
  pages     = {61--77},
  year      = {2008},
  url       = {https://doi.org/10.1007/s00165-007-0061-4},
  doi       = {10.1007/s00165-007-0061-4},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fac/ButlerY08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sttt/LeuschelB08,
  author    = {Michael Leuschel and
               Michael J. Butler},
  title     = {ProB: an automated analysis toolset for the {B} method},
  journal   = {{STTT}},
  volume    = {10},
  number    = {2},
  pages     = {185--203},
  year      = {2008},
  url       = {https://doi.org/10.1007/s10009-007-0063-9},
  doi       = {10.1007/s10009-007-0063-9},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/sttt/LeuschelB08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/asm/SnookB08,
  author    = {Colin F. Snook and
               Michael J. Butler},
  title     = {{UML-B:} {A} Plug-in for the Event-B Tool Set},
  booktitle = {Abstract State Machines, {B} and Z, First International Conference,
               {ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
  pages     = {344},
  year      = {2008},
  crossref  = {DBLP:conf/asm/2008},
  url       = {https://doi.org/10.1007/978-3-540-87603-8_32},
  doi       = {10.1007/978-3-540-87603-8_32},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/SnookB08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/asm/AbrialBHV08,
  author    = {Jean{-}Raymond Abrial and
               Michael J. Butler and
               Stefan Hallerstede and
               Laurent Voisin},
  title     = {A Roadmap for the Rodin Toolset},
  booktitle = {Abstract State Machines, {B} and Z, First International Conference,
               {ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
  pages     = {347},
  year      = {2008},
  crossref  = {DBLP:conf/asm/2008},
  url       = {https://doi.org/10.1007/978-3-540-87603-8_35},
  doi       = {10.1007/978-3-540-87603-8_35},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/AbrialBHV08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfem/DamchoomBA08,
  author    = {Kriangsak Damchoom and
               Michael J. Butler and
               Jean{-}Raymond Abrial},
  title     = {Modelling and Proof of a Tree-Structured File System in Event-B and
               Rodin},
  booktitle = {Formal Methods and Software Engineering, 10th International Conference
               on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan,
               October 27-31, 2008. Proceedings},
  pages     = {25--44},
  year      = {2008},
  crossref  = {DBLP:conf/icfem/2008},
  url       = {https://doi.org/10.1007/978-3-540-88194-0_5},
  doi       = {10.1007/978-3-540-88194-0_5},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/DamchoomBA08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/asm/2008,
  editor    = {Egon B{\"{o}}rger and
               Michael J. Butler and
               Jonathan P. Bowen and
               Paul Boca},
  title     = {Abstract State Machines, {B} and Z, First International Conference,
               {ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5238},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-87603-8},
  doi       = {10.1007/978-3-540-87603-8},
  isbn      = {978-3-540-87602-1},
  timestamp = {Tue, 13 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/b/LeuschelBST07,
  author    = {Michael Leuschel and
               Michael J. Butler and
               Corinna Spermann and
               Edd Turner},
  title     = {Symmetry Reduction for {B} by Permutation Flooding},
  booktitle = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  pages     = {79--93},
  year      = {2007},
  crossref  = {DBLP:conf/b/2007},
  url       = {https://doi.org/10.1007/11955757_9},
  doi       = {10.1007/11955757_9},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/b/LeuschelBST07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tap/SatpathyBLR07,
  author    = {Manoranjan Satpathy and
               Michael J. Butler and
               Michael Leuschel and
               S. Ramesh},
  title     = {Automatic Testing from Formal Specifications},
  booktitle = {Tests and Proofs, First International Conference, {TAP} 2007, Zurich,
               Switzerland, February 12-13, 2007. Revised Papers},
  pages     = {95--113},
  year      = {2007},
  crossref  = {DBLP:conf/tap/2007},
  url       = {https://doi.org/10.1007/978-3-540-73770-4_6},
  doi       = {10.1007/978-3-540-73770-4_6},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tap/SatpathyBLR07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tase/TurnerLSB07,
  author    = {Edd Turner and
               Michael Leuschel and
               Corinna Spermann and
               Michael J. Butler},
  title     = {Symmetry Reduced Model Checking for {B}},
  booktitle = {First Joint {IEEE/IFIP} Symposium on Theoretical Aspects of Software
               Engineering, {TASE} 2007, June 5-8, 2007, Shanghai, China},
  pages     = {25--34},
  year      = {2007},
  crossref  = {DBLP:conf/tase/2007},
  url       = {https://doi.org/10.1109/TASE.2007.50},
  doi       = {10.1109/TASE.2007.50},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tase/TurnerLSB07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfem/2007,
  editor    = {Michael J. Butler and
               Michael G. Hinchey and
               Mar{\'{\i}}a M. Larrondo{-}Petrie},
  title     = {Formal Methods and Software Engineering, 9th International Conference
               on Formal Engineering Methods, {ICFEM} 2007, Boca Raton, FL, USA,
               November 14-15, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4789},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-76650-6},
  doi       = {10.1007/978-3-540-76650-6},
  isbn      = {978-3-540-76648-3},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fac/BoitenB06,
  author    = {Eerke A. Boiten and
               Michael J. Butler},
  title     = {Guest Editorial Editorial for the {FAC} Special Issue based on derivative
               papers from "Refine '05"},
  journal   = {Formal Asp. Comput.},
  volume    = {18},
  number    = {3},
  pages     = {263},
  year      = {2006},
  url       = {https://doi.org/10.1007/s00165-006-0009-0},
  doi       = {10.1007/s00165-006-0009-0},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fac/BoitenB06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tosem/SnookB06,
  author    = {Colin F. Snook and
               Michael J. Butler},
  title     = {{UML-B:} Formal modeling and design aided by {UML}},
  journal   = {{ACM} Trans. Softw. Eng. Methodol.},
  volume    = {15},
  number    = {1},
  pages     = {92--122},
  year      = {2006},
  url       = {http://doi.acm.org/10.1145/1125808.1125811},
  doi       = {10.1145/1125808.1125811},
  timestamp = {Tue, 05 Aug 2008 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tosem/SnookB06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fm/EvansB06,
  author    = {Neil Evans and
               Michael J. Butler},
  title     = {A Proposal for Records in Event-B},
  booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
               Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
  pages     = {221--235},
  year      = {2006},
  crossref  = {DBLP:conf/fm/2006},
  url       = {https://doi.org/10.1007/11813040_16},
  doi       = {10.1007/11813040_16},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/EvansB06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/gpce/LeavensABBCFHJMJSSS06,
  author    = {Gary T. Leavens and
               Jean{-}Raymond Abrial and
               Don S. Batory and
               Michael J. Butler and
               Alessandro Coglio and
               Kathi Fisler and
               Eric C. R. Hehner and
               Cliff B. Jones and
               Dale Miller and
               Simon L. Peyton Jones and
               Murali Sitaraman and
               Douglas R. Smith and
               Aaron Stump},
  title     = {Roadmap for enhanced languages and methods to aid verification},
  booktitle = {Generative Programming and Component Engineering, 5th International
               Conference, {GPCE} 2006, Portland, Oregon, USA, October 22-26, 2006,
               Proceedings},
  pages     = {221--236},
  year      = {2006},
  crossref  = {DBLP:conf/gpce/2006},
  url       = {http://doi.acm.org/10.1145/1173706.1173740},
  doi       = {10.1145/1173706.1173740},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/gpce/LeavensABBCFHJMJSSS06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfem/AbrialBHV06,
  author    = {Jean{-}Raymond Abrial and
               Michael J. Butler and
               Stefan Hallerstede and
               Laurent Voisin},
  title     = {An Open Extensible Tool Environment for Event-B},
  booktitle = {Formal Methods and Software Engineering, 8th International Conference
               on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
               1-3, 2006, Proceedings},
  pages     = {588--605},
  year      = {2006},
  crossref  = {DBLP:conf/icfem/2006},
  url       = {https://doi.org/10.1007/11901433_32},
  doi       = {10.1007/11901433_32},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/AbrialBHV06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/rodin/YadavB06,
  author    = {Divakar Yadav and
               Michael J. Butler},
  title     = {Rigorous Design of Fault-Tolerant Transactions for Replicated Database
               Systems Using Event {B}},
  booktitle = {Rigorous Development of Complex Fault-Tolerant Systems {[FP6} {IST-511599}
               {RODIN} project]},
  pages     = {343--363},
  year      = {2006},
  crossref  = {DBLP:conf/rodin/2006},
  url       = {https://doi.org/10.1007/11916246_18},
  doi       = {10.1007/11916246_18},
  timestamp = {Mon, 05 Jun 2017 12:41:20 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/rodin/YadavB06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/rodin/2006,
  editor    = {Michael J. Butler and
               Cliff B. Jones and
               Alexander Romanovsky and
               Elena Troubitsyna},
  title     = {Rigorous Development of Complex Fault-Tolerant Systems {[FP6} {IST-511599}
               {RODIN} project]},
  series    = {Lecture Notes in Computer Science},
  volume    = {4157},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11916246},
  doi       = {10.1007/11916246},
  isbn      = {3-540-48265-2},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/rodin/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/SatpathyLB05,
  author    = {Manoranjan Satpathy and
               Michael Leuschel and
               Michael J. Butler},
  title     = {ProTest: An Automatic Test Environment for {B} Specifications},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {111},
  pages     = {113--136},
  year      = {2005},
  url       = {https://doi.org/10.1016/j.entcs.2004.12.009},
  doi       = {10.1016/j.entcs.2004.12.009},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/entcs/SatpathyLB05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jucs/ButlerFN05,
  author    = {Michael J. Butler and
               Carla Ferreira and
               Muan Yong Ng},
  title     = {Precise Modelling of Compensating Business Transactions and its Application
               to {BPEL}},
  journal   = {J. {UCS}},
  volume    = {11},
  number    = {5},
  pages     = {712--743},
  year      = {2005},
  url       = {https://doi.org/10.3217/jucs-011-05-0712},
  doi       = {10.3217/jucs-011-05-0712},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jucs/ButlerFN05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/asm/ButlerLS05,
  author    = {Michael J. Butler and
               Michael Leuschel and
               Colin F. Snook},
  title     = {Tools for System Validation with {B} Abstract Machines},
  booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
               {ASM} 2005, March 8-11, 2005, Paris, France},
  pages     = {57--69},
  year      = {2005},
  crossref  = {DBLP:conf/asm/2005},
  url       = {http://www.univ-paris12.fr/lacl/dima/asm05/asm-mjb.ps},
  timestamp = {Tue, 05 Aug 2008 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/ButlerLS05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/concur/BruniBFHMM05,
  author    = {Roberto Bruni and
               Michael J. Butler and
               Carla Ferreira and
               C. A. R. Hoare and
               Hern{\'{a}}n C. Melgratti and
               Ugo Montanari},
  title     = {Comparing Two Approaches to Compensable Flow Composition},
  booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
               {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
  pages     = {383--397},
  year      = {2005},
  crossref  = {DBLP:conf/concur/2005},
  url       = {https://doi.org/10.1007/11539452_30},
  doi       = {10.1007/11539452_30},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/concur/BruniBFHMM05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/epew/ButlerR05,
  author    = {Michael J. Butler and
               Shamim Ripon},
  title     = {Executable Semantics for Compensating {CSP}},
  booktitle = {Formal Techniques for Computer Systems and Business Processes, European
               Performance Engineering Workshop, {EPEW} 2005 and International Workshop
               on Web Services and Formal Methods, {WS-FM} 2005, Versailles, France,
               September 1-3, 2005, Proceedings},
  pages     = {243--256},
  year      = {2005},
  crossref  = {DBLP:conf/epew/2005},
  url       = {https://doi.org/10.1007/11549970_18},
  doi       = {10.1007/11549970_18},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/epew/ButlerR05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fm/ButlerL05,
  author    = {Michael J. Butler and
               Michael Leuschel},
  title     = {Combining {CSP} and {B} for Specification and Property Verification},
  booktitle = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
               Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
  pages     = {221--236},
  year      = {2005},
  crossref  = {DBLP:conf/fm/2005},
  url       = {https://doi.org/10.1007/11526841_16},
  doi       = {10.1007/11526841_16},
  timestamp = {Fri, 02 Jun 2017 20:50:05 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/ButlerL05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfem/LeuschelB05,
  author    = {Michael Leuschel and
               Michael J. Butler},
  title     = {Automatic Refinement Checking for {B}},
  booktitle = {Formal Methods and Software Engineering, 7th International Conference
               on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
               1-4, 2005, Proceedings},
  pages     = {345--359},
  year      = {2005},
  crossref  = {DBLP:conf/icfem/2005},
  url       = {https://doi.org/10.1007/11576280_24},
  doi       = {10.1007/11576280_24},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/LeuschelB05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/zum/RezazadehB05,
  author    = {Abdolbaghi Rezazadeh and
               Michael J. Butler},
  title     = {Some Guidelines for Formal Development of Web-Based Applications in
               B-Method},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  pages     = {472--492},
  year      = {2005},
  crossref  = {DBLP:conf/zum/2005},
  url       = {https://doi.org/10.1007/11415787_27},
  doi       = {10.1007/11415787_27},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/zum/RezazadehB05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fac/HallerstedeB04,
  author    = {Stefan Hallerstede and
               Michael J. Butler},
  title     = {Performance analysis of probabilistic action systems},
  journal   = {Formal Asp. Comput.},
  volume    = {16},
  number    = {4},
  pages     = {313--331},
  year      = {2004},
  url       = {https://doi.org/10.1007/s00165-004-0037-6},
  doi       = {10.1007/s00165-004-0037-6},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fac/HallerstedeB04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/atal/PrestiBLB04,
  author    = {St{\'{e}}phane Lo Presti and
               Michael J. Butler and
               Michael Leuschel and
               Chris Booth},
  title     = {A Trust Analysis Methodology for Pervasive Computing Systems},
  booktitle = {Trusting Agents for Trusting Electronic Societies, Theory and Applications
               in {HCI} and E-Commerce},
  pages     = {129--143},
  year      = {2004},
  crossref  = {DBLP:conf/atal/2004trust},
  url       = {https://doi.org/10.1007/11532095_8},
  doi       = {10.1007/11532095_8},
  timestamp = {Thu, 01 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atal/PrestiBLB04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ButlerHF04,
  author    = {Michael J. Butler and
               C. A. R. Hoare and
               Carla Ferreira},
  title     = {A Trace Semantics for Long-Running Transactions},
  booktitle = {Communicating Sequential Processes: The First 25 Years, Symposium
               on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised
               Invited Papers},
  pages     = {133--150},
  year      = {2004},
  crossref  = {DBLP:conf/birthday/2004csp},
  url       = {https://doi.org/10.1007/11423348_8},
  doi       = {10.1007/11423348_8},
  timestamp = {Thu, 01 Jun 2017 18:57:57 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/ButlerHF04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/coordination/ButlerF04,
  author    = {Michael J. Butler and
               Carla Ferreira},
  title     = {An Operational Semantics for StAC, a Language for Modelling Long-Running
               Business Transactions},
  booktitle = {Coordination Models and Languages, 6th International Conference, {COORDINATION}
               2004, Pisa, Italy, February 24-27, 2004, Proceedings},
  pages     = {87--104},
  year      = {2004},
  crossref  = {DBLP:conf/coordination/2004},
  url       = {https://doi.org/10.1007/978-3-540-24634-3_9},
  doi       = {10.1007/978-3-540-24634-3_9},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/coordination/ButlerF04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/itrust/ButlerLPT04,
  author    = {Michael J. Butler and
               Michael Leuschel and
               St{\'{e}}phane Lo Presti and
               Phillip Turner},
  title     = {The Use of Formal Methods in the Analysis of Trust (Position Paper)},
  booktitle = {Trust Management, Second International Conference, iTrust 2004, Oxford,
               UK, March 29 - April 1, 2004, Proceedings},
  pages     = {333--339},
  year      = {2004},
  crossref  = {DBLP:conf/itrust/2004},
  url       = {https://doi.org/10.1007/978-3-540-24747-0_25},
  doi       = {10.1007/978-3-540-24747-0_25},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/itrust/ButlerLPT04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ershov/AugustoBFC03,
  author    = {Juan Carlos Augusto and
               Michael J. Butler and
               Carla Ferreira and
               Stephen{-}John Craig},
  title     = {Using {SPIN} and STeP to Verify Business Processes Specifications},
  booktitle = {Perspectives of Systems Informatics, 5th International Andrei Ershov
               Memorial Conference, {PSI} 2003, Akademgorodok, Novosibirsk, Russia,
               July 9-12, 2003, Revised Papers},
  pages     = {207--213},
  year      = {2003},
  crossref  = {DBLP:conf/ershov/2003},
  url       = {https://doi.org/10.1007/978-3-540-39866-0_22},
  doi       = {10.1007/978-3-540-39866-0_22},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ershov/AugustoBFC03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fm/LeuschelB03,
  author    = {Michael Leuschel and
               Michael J. Butler},
  title     = {ProB: {A} Model Checker for {B}},
  booktitle = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
               Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
  pages     = {855--874},
  year      = {2003},
  crossref  = {DBLP:conf/fm/2003},
  url       = {https://doi.org/10.1007/978-3-540-45236-2_46},
  doi       = {10.1007/978-3-540-45236-2_46},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/LeuschelB03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sefm/NgB03,
  author    = {Muan Yong Ng and
               Michael J. Butler},
  title     = {Towards Formalizing {UML} State Diagrams in {CSP}},
  booktitle = {1st International Conference on Software Engineering and Formal Methods
               {(SEFM} 2003), 22-27 September 2003, Brisbane, Australia},
  pages     = {138},
  year      = {2003},
  crossref  = {DBLP:conf/sefm/2003},
  url       = {https://doi.org/10.1109/SEFM.2003.1236215},
  doi       = {10.1109/SEFM.2003.1236215},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sefm/NgB03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/zum/FerreiraB03,
  author    = {Carla Ferreira and
               Michael J. Butler},
  title     = {Using {B} Refinement to Analyse Compensating Business Processes},
  booktitle = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  pages     = {477--496},
  year      = {2003},
  crossref  = {DBLP:conf/zum/2003},
  url       = {https://doi.org/10.1007/3-540-44880-2_28},
  doi       = {10.1007/3-540-44880-2_28},
  timestamp = {Thu, 15 Jun 2017 21:33:04 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/zum/FerreiraB03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/dafes/Butler02,
  author    = {Michael J. Butler},
  title     = {A System-Based Approach to the Formal Development of Embedded Controllers
               for a Railway},
  journal   = {Design Autom. for Emb. Sys.},
  volume    = {6},
  number    = {4},
  pages     = {355--366},
  year      = {2002},
  url       = {https://doi.org/10.1023/A:1016503426126},
  doi       = {10.1023/A:1016503426126},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/dafes/Butler02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fac/Butler02,
  author    = {Michael J. Butler},
  title     = {On the Use of Data Refinement in the Development of Secure Communications
               Systems},
  journal   = {Formal Asp. Comput.},
  volume    = {14},
  number    = {1},
  pages     = {2--34},
  year      = {2002},
  url       = {https://doi.org/10.1007/s001650200025},
  doi       = {10.1007/s001650200025},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fac/Butler02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ibmsj/ChessellGVBFH02,
  author    = {Mandy Chessell and
               Catherine Griffin and
               David Vines and
               Michael J. Butler and
               Carla Ferreira and
               Peter Henderson},
  title     = {Extending the concept of transaction compensation},
  journal   = {{IBM} Systems Journal},
  volume    = {41},
  number    = {4},
  pages     = {743--758},
  year      = {2002},
  url       = {https://doi.org/10.1147/sj.414.0743},
  doi       = {10.1147/sj.414.0743},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ibmsj/ChessellGVBFH02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfem/NgB02,
  author    = {Muan Yong Ng and
               Michael J. Butler},
  title     = {Tool Support for Visualizing {CSP} in {UML}},
  booktitle = {Formal Methods and Software Engineering, 4th International Conference
               on Formal Engineering Methods, {ICFEM} 2002 Shanghai, China, October
               21-25, 2002, Proceedings},
  pages     = {287--298},
  year      = {2002},
  crossref  = {DBLP:conf/icfem/2002},
  url       = {https://doi.org/10.1007/3-540-36103-0_31},
  doi       = {10.1007/3-540-36103-0_31},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/NgB02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/zum/MikhailovB02,
  author    = {Leonid Mikhailov and
               Michael J. Butler},
  title     = {An Approach to Combining {B} and Alloy},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  pages     = {140--161},
  year      = {2002},
  crossref  = {DBLP:conf/zum/2002},
  url       = {https://doi.org/10.1007/3-540-45648-1_8},
  doi       = {10.1007/3-540-45648-1_8},
  timestamp = {Thu, 15 Jun 2017 21:33:05 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/zum/MikhailovB02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ifm/2002,
  editor    = {Michael J. Butler and
               Luigia Petre and
               Kaisa Sere},
  title     = {Integrated Formal Methods, Third International Conference, {IFM} 2002,
               Turku, Finland, May 15-18, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2335},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-47884-1},
  doi       = {10.1007/3-540-47884-1},
  isbn      = {3-540-43703-7},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifm/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fm/HartelBJL01,
  author    = {Pieter H. Hartel and
               Michael J. Butler and
               Eduard de Jong and
               Mark Longley},
  title     = {Transacted Memory for Smart Cards},
  booktitle = {{FME} 2001: Formal Methods for Increasing Software Productivity, International
               Symposium of Formal Methods Europe, Berlin, Germany, March 12-16,
               2001, Proceedings},
  pages     = {478--499},
  year      = {2001},
  crossref  = {DBLP:conf/fm/2001},
  url       = {https://doi.org/10.1007/3-540-45251-6_28},
  doi       = {10.1007/3-540-45251-6_28},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/HartelBJL01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fac/Butler00,
  author    = {Michael J. Butler},
  title     = {csp2B: {A} Practical Approach to Combining {CSP} and {B}},
  journal   = {Formal Asp. Comput.},
  volume    = {12},
  number    = {3},
  pages     = {182--198},
  year      = {2000},
  url       = {https://doi.org/10.1007/PL00003930},
  doi       = {10.1007/PL00003930},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fac/Butler00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ifm/ButlerF00,
  author    = {Michael J. Butler and
               Carla Ferreira},
  title     = {A Process Compensation Language},
  booktitle = {Integrated Formal Methods, Second International Conference, {IFM}
               2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
  pages     = {61--76},
  year      = {2000},
  crossref  = {DBLP:conf/ifm/2000},
  url       = {https://doi.org/10.1007/3-540-40911-4_5},
  doi       = {10.1007/3-540-40911-4_5},
  timestamp = {Wed, 24 May 2017 15:40:42 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifm/ButlerF00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iwsm/SatpathyHSB00,
  author    = {Manoranjan Satpathy and
               Rachel Harrison and
               Colin F. Snook and
               Michael J. Butler},
  title     = {A Generic Model for Assessing Process Quality},
  booktitle = {New Approaches in Software Measurement, 10th International Workshop,
               {IWSM} 2000, Berlin, Germany, October 4-6, 2000, Proceedings},
  pages     = {94--110},
  year      = {2000},
  crossref  = {DBLP:conf/iwsm/2000},
  url       = {https://doi.org/10.1007/3-540-44704-0_8},
  doi       = {10.1007/3-540-44704-0_8},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iwsm/SatpathyHSB00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/zum/ButlerM00,
  author    = {Michael J. Butler and
               Mairead Meagher},
  title     = {Performing Algorithmic Refinement before Data Refinement in {B}},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  pages     = {324--343},
  year      = {2000},
  crossref  = {DBLP:conf/zum/2000},
  url       = {https://doi.org/10.1007/3-540-44525-0_19},
  doi       = {10.1007/3-540-44525-0_19},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/zum/ButlerM00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/scp/Butler99,
  author    = {Michael J. Butler},
  title     = {Calculational Derivation of Pointer Algorithms from Tree Operations},
  journal   = {Sci. Comput. Program.},
  volume    = {33},
  number    = {3},
  pages     = {221--260},
  year      = {1999},
  url       = {https://doi.org/10.1016/S0167-6423(98)00016-1},
  doi       = {10.1016/S0167-6423(98)00016-1},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/scp/Butler99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/toplas/ButlerH99,
  author    = {Michael J. Butler and
               Pieter H. Hartel},
  title     = {Reasoning about Grover's quantum search algorithm using probabilistic
               \emph{wp}},
  journal   = {{ACM} Trans. Program. Lang. Syst.},
  volume    = {21},
  number    = {3},
  pages     = {417--429},
  year      = {1999},
  url       = {http://doi.acm.org/10.1145/319301.319303},
  doi       = {10.1145/319301.319303},
  timestamp = {Wed, 26 Nov 2003 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/toplas/ButlerH99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fm/Butler99,
  author    = {Michael J. Butler},
  title     = {csp2B: {A} Practical Approach to Combining {CSP} and {B}},
  booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
               of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
               Volume {I}},
  pages     = {490--508},
  year      = {1999},
  crossref  = {DBLP:conf/fm/1999-1},
  url       = {https://doi.org/10.1007/3-540-48119-2_28},
  doi       = {10.1007/3-540-48119-2_28},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/Butler99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/java/HartelBL99,
  author    = {Pieter H. Hartel and
               Michael J. Butler and
               Moshe Levy},
  title     = {The Operational Semantics of a Java Secure Processor},
  booktitle = {Formal Syntax and Semantics of Java},
  pages     = {313--352},
  year      = {1999},
  crossref  = {DBLP:conf/java/1999formal},
  url       = {https://doi.org/10.1007/3-540-48737-9_9},
  doi       = {10.1007/3-540-48737-9_9},
  timestamp = {Tue, 23 May 2017 14:54:58 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/java/HartelBL99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/acta/BackB98,
  author    = {Ralph{-}Johan Back and
               Michael J. Butler},
  title     = {Fusion and Simultaneous Execution in the Refinement Calculus},
  journal   = {Acta Inf.},
  volume    = {35},
  number    = {11},
  pages     = {921--949},
  year      = {1998},
  url       = {https://doi.org/10.1007/s002360050148},
  doi       = {10.1007/s002360050148},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/acta/BackB98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/zum/Butler97,
  author    = {Michael J. Butler},
  title     = {An Approach to the Design of Distributed Systems with {B} {AMN}},
  booktitle = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
               Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
  pages     = {223--241},
  year      = {1997},
  crossref  = {DBLP:conf/zum/1997},
  url       = {https://doi.org/10.1007/BFb0027291},
  doi       = {10.1007/BFb0027291},
  timestamp = {Mon, 22 May 2017 17:10:59 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/zum/Butler97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/scp/Butler96,
  author    = {Michael J. Butler},
  title     = {Stepwise Refinement of Communicating Systems},
  journal   = {Sci. Comput. Program.},
  volume    = {27},
  number    = {2},
  pages     = {139--173},
  year      = {1996},
  url       = {https://doi.org/10.1016/0167-6423(96)81173-7},
  doi       = {10.1016/0167-6423(96)81173-7},
  timestamp = {Thu, 08 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/scp/Butler96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tphol/ButlerL96,
  author    = {Michael J. Butler and
               Thomas L{\aa}ngbacka},
  title     = {Program Derivation Using the Refinement Calculator},
  booktitle = {Theorem Proving in Higher Order Logics, 9th International Conference,
               TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings},
  pages     = {93--108},
  year      = {1996},
  crossref  = {DBLP:conf/tphol/1996},
  url       = {https://doi.org/10.1007/BFb0105399},
  doi       = {10.1007/BFb0105399},
  timestamp = {Mon, 22 May 2017 16:14:06 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tphol/ButlerL96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fac/ButlerM95,
  author    = {Michael J. Butler and
               Carroll Morgan},
  title     = {Action Systemes, Unbounded Nondeterminism, and Infinite Traces},
  journal   = {Formal Asp. Comput.},
  volume    = {7},
  number    = {1},
  pages     = {37--53},
  year      = {1995},
  url       = {https://doi.org/10.1007/BF01214622},
  doi       = {10.1007/BF01214622},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fac/ButlerM95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/ButlerSS95,
  author    = {Michael J. Butler and
               Emil Sekerinski and
               Kaisa Sere},
  title     = {An Action System Approach to the Steam Boiler Problem},
  booktitle = {Formal Methods for Industrial Applications, Specifying and Programming
               the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
               June 1995).},
  pages     = {129--148},
  year      = {1995},
  crossref  = {DBLP:conf/dagstuhl/1995fm},
  url       = {https://doi.org/10.1007/BFb0027234},
  doi       = {10.1007/BFb0027234},
  timestamp = {Mon, 22 May 2017 16:14:05 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dagstuhl/ButlerSS95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/mpc/BackB95,
  author    = {Ralph{-}Johan Back and
               Michael J. Butler},
  title     = {Exploring Summation and Product Operators in the Refinement Calculus},
  booktitle = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
               July 17-21, 1995, Proceedings},
  pages     = {128--158},
  year      = {1995},
  crossref  = {DBLP:conf/mpc/1995},
  url       = {https://doi.org/10.1007/3-540-60117-1_8},
  doi       = {10.1007/3-540-60117-1_8},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/mpc/BackB95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/concur/Butler93,
  author    = {Michael J. Butler},
  title     = {Refinement and Decomposition of Value-Passing Action Systems},
  booktitle = {{CONCUR} '93, 4th International Conference on Concurrency Theory,
               Hildesheim, Germany, August 23-26, 1993, Proceedings},
  pages     = {217--232},
  year      = {1993},
  crossref  = {DBLP:conf/concur/1993},
  url       = {https://doi.org/10.1007/3-540-57208-2_16},
  doi       = {10.1007/3-540-57208-2_16},
  timestamp = {Sat, 20 May 2017 15:32:53 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/concur/Butler93},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@phdthesis{DBLP:phd/ethos/Butler92,
  author    = {Michael J. Butler},
  title     = {A {CSP} approach to action systems},
  school    = {University of Oxford, {UK}},
  year      = {1992},
  url       = {http://eprints.soton.ac.uk/250974/},
  timestamp = {Thu, 06 Oct 2016 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/phd/ethos/Butler92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fm/Butler91,
  author    = {Michael J. Butler},
  title     = {Behavioural Extension for {CSP}},
  booktitle = {{VDM} '91 - Formal Software Development, 4th International Symposium
               of {VDM} Europe, Noordwijkerhout, The Netherlands, October 21-25,
               1991, Proceedings, Volume 1: Conference Contributions},
  pages     = {254--267},
  year      = {1991},
  crossref  = {DBLP:conf/fm/1991-1},
  url       = {https://doi.org/10.1007/3-540-54834-3_16},
  doi       = {10.1007/3-540-54834-3_16},
  timestamp = {Sat, 20 May 2017 15:32:51 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/Butler91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/zum/Butler90,
  author    = {Michael J. Butler},
  title     = {Service Extension at the Specification Level},
  booktitle = {Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual {Z} User
               Meeting, 17-18 December 1990},
  pages     = {319--333},
  year      = {1990},
  crossref  = {DBLP:conf/zum/1990},
  timestamp = {Tue, 25 Feb 2003 13:22:15 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/zum/Butler90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/nfm/2017,
  editor    = {Clark Barrett and
               Misty Davies and
               Temesghen Kahsai},
  title     = {{NASA} Formal Methods - 9th International Symposium, {NFM} 2017, Moffett
               Field, CA, USA, May 16-18, 2017, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10227},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-57288-8},
  doi       = {10.1007/978-3-319-57288-8},
  isbn      = {978-3-319-57287-1},
  timestamp = {Thu, 25 May 2017 00:40:09 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/nfm/2017},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/asm/2016,
  editor    = {Michael J. Butler and
               Klaus{-}Dieter Schewe and
               Atif Mashkoor and
               Mikl{\'{o}}s Bir{\'{o}}},
  title     = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 5th International
               Conference, {ABZ} 2016, Linz, Austria, May 23-27, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9675},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-33600-8},
  doi       = {10.1007/978-3-319-33600-8},
  isbn      = {978-3-319-33599-5},
  timestamp = {Sun, 21 May 2017 00:18:58 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfem/2016,
  editor    = {Kazuhiro Ogata and
               Mark Lawford and
               Shaoying Liu},
  title     = {Formal Methods and Software Engineering - 18th International Conference
               on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
               14-18, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10009},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47846-3},
  doi       = {10.1007/978-3-319-47846-3},
  isbn      = {978-3-319-47845-6},
  timestamp = {Sun, 21 May 2017 00:19:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:books/crc/asds2016,
  editor    = {Luigia Petre and
               Emil Sekerinski},
  title     = {From Action Systems to Distributed Systems - The Refinement Approach},
  publisher = {Chapman and Hall/CRC},
  year      = {2016},
  url       = {https://doi.org/10.1201/b20053},
  doi       = {10.1201/b20053},
  isbn      = {978-1-4987-0158-7},
  timestamp = {Tue, 16 May 2017 14:01:47 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/books/crc/asds2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fsen/2015,
  editor    = {Mehdi Dastani and
               Marjan Sirjani},
  title     = {Fundamentals of Software Engineering - 6th International Conference,
               {FSEN} 2015 Tehran, Iran, April 22-24, 2015, Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {9392},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-24644-4},
  doi       = {10.1007/978-3-319-24644-4},
  isbn      = {978-3-319-24643-7},
  timestamp = {Sun, 21 May 2017 00:18:36 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fsen/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mcsoc/2015,
  title     = {{IEEE} 9th International Symposium on Embedded Multicore/Many-core
               Systems-on-Chip, MCSoC 2015, Turin, Italy, September 23-25, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7327976},
  isbn      = {978-1-4799-8670-5},
  timestamp = {Mon, 12 Dec 2016 12:49:55 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/mcsoc/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/asm/2014,
  editor    = {Yamine A{\"{\i}}t Ameur and
               Klaus{-}Dieter Schewe},
  title     = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 4th International
               Conference, {ABZ} 2014, Toulouse, France, June 2-6, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8477},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-43652-3},
  doi       = {10.1007/978-3-662-43652-3},
  isbn      = {978-3-662-43651-6},
  timestamp = {Sun, 21 May 2017 00:18:58 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ifm/2014,
  editor    = {Elvira Albert and
               Emil Sekerinski},
  title     = {Integrated Formal Methods - 11th International Conference, {IFM} 2014,
               Bertinoro, Italy, September 9-11, 2014, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8739},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-10181-1},
  doi       = {10.1007/978-3-319-10181-1},
  isbn      = {978-3-319-10180-4},
  timestamp = {Wed, 24 May 2017 08:28:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifm/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/imbsa/2014,
  editor    = {Frank Ortmeier and
               Antoine Rauzy},
  title     = {Model-Based Safety and Assessment - 4th International Symposium, {IMBSA}
               2014, Munich, Germany, October 27-29, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8822},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-12214-4},
  doi       = {10.1007/978-3-319-12214-4},
  isbn      = {978-3-319-12213-7},
  timestamp = {Wed, 17 May 2017 14:24:32 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/imbsa/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/summersim/2014,
  title     = {Proceedings of the 2014 Summer Simulation Multiconference, SummerSim
               2014, Monterey, CA, USA, July 6-10, 2014},
  publisher = {{SCS/} {ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2685617},
  timestamp = {Wed, 12 Nov 2014 12:24:56 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/summersim/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2013he,
  editor    = {Zhiming Liu and
               Jim Woodcock and
               Huibiao Zhu},
  title     = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
               He on the Occasion of His 70th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {8051},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39698-4},
  doi       = {10.1007/978-3-642-39698-4},
  isbn      = {978-3-642-39697-7},
  timestamp = {Thu, 15 Jun 2017 21:34:41 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2013he},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/cacsd/2013,
  title     = {2013 {IEEE} International Symposium on Computer-Aided Control System
               Design, {CACSD} 2013, Hyderabad, India, August 28-30, 2013},
  publisher = {{IEEE}},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6648483},
  timestamp = {Fri, 23 Jan 2015 14:17:21 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/cacsd/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/csdm/2013,
  editor    = {Marc Aiguier and
               Fr{\'{e}}d{\'{e}}ric Boulanger and
               Daniel Krob and
               Clotilde Marchal},
  title     = {Complex Systems Design {\&} Management, Proceedings of the Fourth
               International Conference on Complex Systems Design {\&} Management
               CSD{\&}M 2013, Paris, France, December 4-6, 2013},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-02812-5},
  doi       = {10.1007/978-3-319-02812-5},
  isbn      = {978-3-319-02811-8},
  timestamp = {Wed, 24 May 2017 08:27:32 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/csdm/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ictac/2013,
  editor    = {Zhiming Liu and
               Jim Woodcock and
               Huibiao Zhu},
  title     = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
               Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8049},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39718-9},
  doi       = {10.1007/978-3-642-39718-9},
  isbn      = {978-3-642-39717-2},
  timestamp = {Thu, 15 Jun 2017 21:43:42 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ictac/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iri/2013,
  title     = {{IEEE} 14th International Conference on Information Reuse {\&}
               Integration, {IRI} 2013, San Francisco, CA, USA, August 14-16, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6621630},
  isbn      = {978-1-4799-1050-2},
  timestamp = {Thu, 22 Dec 2016 12:35:44 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iri/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/modelsward/2013,
  editor    = {Slimane Hammoudi and
               Lu{\'{\i}}s Ferreira Pires and
               Joaquim Filipe and
               Rui C{\'{e}}sar das Neves},
  title     = {{MODELSWARD} 2013 - Proceedings of the 1st International Conference
               on Model-Driven Engineering and Software Development, Barcelona, Spain,
               19 - 21 February, 2013},
  publisher = {SciTePress},
  year      = {2013},
  isbn      = {978-989-8565-42-6},
  timestamp = {Sun, 27 Oct 2013 16:52:08 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/modelsward/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1305-5634,
  editor    = {John Derrick and
               Eerke A. Boiten and
               Steve Reeves},
  title     = {Proceedings 16th International Refinement Workshop, Refine@IFM 2013,
               Turku, Finland, 11th June 2013},
  series    = {{EPTCS}},
  volume    = {115},
  year      = {2013},
  url       = {https://doi.org/10.4204/EPTCS.115},
  doi       = {10.4204/EPTCS.115},
  timestamp = {Wed, 03 May 2017 14:47:55 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1305-5634},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:books/daglib/0032363,
  editor    = {Alexander Romanovsky and
               Martyn Thomas},
  title     = {Industrial Deployment of System Engineering Methods},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-33170-1},
  doi       = {10.1007/978-3-642-33170-1},
  isbn      = {978-3-642-33169-5},
  timestamp = {Tue, 16 May 2017 14:01:41 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/books/daglib/0032363},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:series/natosec/34,
  editor    = {Manfred Broy and
               Doron A. Peled and
               Georg Kalus},
  title     = {Engineering Dependable Software Systems},
  series    = {{NATO} Science for Peace and Security Series, {D:} Information and
               Communication Security},
  volume    = {34},
  publisher = {{IOS} Press},
  year      = {2013},
  isbn      = {978-1-61499-206-6},
  timestamp = {Fri, 12 Feb 2016 07:36:54 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/series/natosec/34},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/adaEurope/2012,
  editor    = {Mats Brorsson and
               Lu{\'{\i}}s Miguel Pinho},
  title     = {Reliable Software Technologies - Ada-Europe 2012 - 17th Ada-Europe
               International Conference on Reliable Software Technologies, Stockholm,
               Sweden, June 11-15, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7308},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30598-6},
  doi       = {10.1007/978-3-642-30598-6},
  isbn      = {978-3-642-30597-9},
  timestamp = {Fri, 26 May 2017 00:48:27 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/adaEurope/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/asm/2012,
  editor    = {John Derrick and
               John S. Fitzgerald and
               Stefania Gnesi and
               Sarfraz Khurshid and
               Michael Leuschel and
               Steve Reeves and
               Elvinia Riccobene},
  title     = {Abstract State Machines, Alloy, B, VDM, and {Z} - Third International
               Conference, {ABZ} 2012, Pisa, Italy, June 18-21, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7316},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30885-7},
  doi       = {10.1007/978-3-642-30885-7},
  isbn      = {978-3-642-30884-0},
  timestamp = {Thu, 01 Jun 2017 18:58:31 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iceccs/2012,
  editor    = {Isabelle Perseil and
               Karin K. Breitman and
               Marc Pouzet},
  title     = {17th {IEEE} International Conference on Engineering of Complex Computer
               Systems, {ICECCS} 2012, Paris, France, July 18-20, 2012},
  publisher = {{IEEE} Computer Society},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6298769},
  isbn      = {978-1-4673-2156-3},
  timestamp = {Tue, 14 Jun 2016 17:22:51 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iceccs/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sefm/2012,
  editor    = {George Eleftherakis and
               Mike Hinchey and
               Mike Holcombe},
  title     = {Software Engineering and Formal Methods - 10th International Conference,
               {SEFM} 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7504},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-33826-7},
  doi       = {10.1007/978-3-642-33826-7},
  isbn      = {978-3-642-33825-0},
  timestamp = {Sun, 21 May 2017 00:18:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sefm/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/nfm/2011,
  editor    = {Mihaela Gheorghiu Bobaru and
               Klaus Havelund and
               Gerard J. Holzmann and
               Rajeev Joshi},
  title     = {{NASA} Formal Methods - Third International Symposium, {NFM} 2011,
               Pasadena, CA, USA, April 18-20, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6617},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-20398-5},
  doi       = {10.1007/978-3-642-20398-5},
  isbn      = {978-3-642-20397-8},
  timestamp = {Thu, 25 May 2017 00:40:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/nfm/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/soco/2011,
  editor    = {Sven Apel and
               Ethan K. Jackson},
  title     = {Software Composition - 10th International Conference, {SC} 2011, Zurich,
               Switzerland, June 30 - July 1, 2011. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6708},
  publisher = {Springer},
  year      = {2011},
  url       = {https://doi.org/10.1007/978-3-642-22045-6},
  doi       = {10.1007/978-3-642-22045-6},
  isbn      = {978-3-642-22044-9},
  timestamp = {Tue, 23 May 2017 01:11:57 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/soco/2011},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/asm/2010,
  editor    = {Marc Frappier and
               Uwe Gl{\"{a}}sser and
               Sarfraz Khurshid and
               R{\'{e}}gine Laleau and
               Steve Reeves},
  title     = {Abstract State Machines, Alloy, {B} and Z, Second International Conference,
               {ABZ} 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5977},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-11811-1},
  doi       = {10.1007/978-3-642-11811-1},
  isbn      = {978-3-642-11810-4},
  timestamp = {Sun, 21 May 2017 00:18:58 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fmco/2010,
  editor    = {Bernhard K. Aichernig and
               Frank S. de Boer and
               Marcello M. Bonsangue},
  title     = {Formal Methods for Components and Objects - 9th International Symposium,
               {FMCO} 2010, Graz, Austria, November 29 - December 1, 2010. Revised
               Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6957},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-25271-6},
  doi       = {10.1007/978-3-642-25271-6},
  isbn      = {978-3-642-25270-9},
  timestamp = {Wed, 17 May 2017 14:24:49 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmco/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/itp/2010par,
  editor    = {Ekaterina Komendantskaya and
               Ana Bove and
               Milad Niqui},
  title     = {Partiality and Recursion in Interactive Theorem Provers, PAR@ITP 2010,
               Edinburgh, UK, July 15, 2010},
  series    = {EPiC Series},
  volume    = {5},
  publisher = {EasyChair},
  year      = {2012},
  url       = {http://www.easychair.org/publications/?page=671260910},
  timestamp = {Fri, 17 Jun 2016 10:16:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/itp/2010par},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/nfm/2010,
  editor    = {C{\'{e}}sar A. Mu{\~{n}}oz},
  title     = {Second {NASA} Formal Methods Symposium - {NFM} 2010, Washington D.C.,
               USA, April 13-15, 2010. Proceedings},
  series    = {{NASA} Conference Proceedings},
  volume    = {{NASA/CP-2010-216215}},
  year      = {2010},
  timestamp = {Thu, 23 Jun 2016 15:53:27 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/nfm/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1012-4555,
  editor    = {Ana Bove and
               Ekaterina Komendantskaya and
               Milad Niqui},
  title     = {Proceedings Workshop on Partiality and Recursion in Interactive Theorem
               Provers, {PAR} 2010, Edinburgh, UK, 15th July 2010},
  series    = {{EPTCS}},
  volume    = {43},
  year      = {2010},
  url       = {https://doi.org/10.4204/EPTCS.43},
  doi       = {10.4204/EPTCS.43},
  timestamp = {Wed, 03 May 2017 14:47:54 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1012-4555},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2009borger,
  editor    = {Jean{-}Raymond Abrial and
               Uwe Gl{\"{a}}sser},
  title     = {Rigorous Methods for Software Construction and Analysis, Essays Dedicated
               to Egon B{\"{o}}rger on the Occasion of His 60th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {5115},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-11447-2},
  doi       = {10.1007/978-3-642-11447-2},
  isbn      = {978-3-642-11446-5},
  timestamp = {Tue, 23 May 2017 01:06:45 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2009borger},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fm/2009,
  editor    = {Ana Cavalcanti and
               Dennis Dams},
  title     = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
               November 2-6, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5850},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-05089-3},
  doi       = {10.1007/978-3-642-05089-3},
  isbn      = {978-3-642-05088-6},
  timestamp = {Mon, 22 May 2017 17:11:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fmco/2009,
  editor    = {Frank S. de Boer and
               Marcello M. Bonsangue and
               Stefan Hallerstede and
               Michael Leuschel},
  title     = {Formal Methods for Components and Objects - 8th International Symposium,
               {FMCO} 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised
               Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {6286},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-17071-3},
  doi       = {10.1007/978-3-642-17071-3},
  isbn      = {978-3-642-17070-6},
  timestamp = {Wed, 17 May 2017 14:24:49 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmco/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ic3/2009,
  editor    = {Sanjay Ranka and
               Srinivas Aluru and
               Rajkumar Buyya and
               Yeh{-}Ching Chung and
               Sumeet Dua and
               Ananth Grama and
               Sandeep K. S. Gupta and
               Rajeev Kumar and
               Vir V. Phoha},
  title     = {Contemporary Computing - Second International Conference, {IC3} 2009,
               Noida, India, August 17-19, 2009. Proceedings},
  series    = {Communications in Computer and Information Science},
  volume    = {40},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-03547-0},
  doi       = {10.1007/978-3-642-03547-0},
  isbn      = {978-3-642-03546-3},
  timestamp = {Wed, 24 May 2017 08:31:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ic3/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfem/2009,
  editor    = {Karin K. Breitman and
               Ana Cavalcanti},
  title     = {Formal Methods and Software Engineering, 11th International Conference
               on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil,
               December 9-12, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5885},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-10373-5},
  doi       = {10.1007/978-3-642-10373-5},
  isbn      = {978-3-642-10372-8},
  timestamp = {Sun, 21 May 2017 00:19:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ifm/2009,
  editor    = {Michael Leuschel and
               Heike Wehrheim},
  title     = {Integrated Formal Methods, 7th International Conference, {IFM} 2009,
               D{\"{u}}sseldorf, Germany, February 16-19, 2009. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5423},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00255-7},
  doi       = {10.1007/978-3-642-00255-7},
  isbn      = {978-3-642-00254-0},
  timestamp = {Wed, 24 May 2017 08:28:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifm/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sbmf/2009,
  editor    = {Marcel Vinicius Medeiros Oliveira and
               Jim Woodcock},
  title     = {Formal Methods: Foundations and Applications, 12th Brazilian Symposium
               on Formal Methods, {SBMF} 2009, Gramado, Brazil, August 19-21, 2009,
               Revised Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {5902},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-10452-7},
  doi       = {10.1007/978-3-642-10452-7},
  isbn      = {978-3-642-10451-0},
  timestamp = {Thu, 15 Jun 2017 21:33:57 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sbmf/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:series/lncs/5454,
  editor    = {Michael J. Butler and
               Cliff B. Jones and
               Alexander Romanovsky and
               Elena Troubitsyna},
  title     = {Methods, Models and Tools for Fault Tolerance},
  series    = {Lecture Notes in Computer Science},
  volume    = {5454},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-00867-2},
  doi       = {10.1007/978-3-642-00867-2},
  isbn      = {978-3-642-00866-5},
  timestamp = {Fri, 09 Jun 2017 11:04:34 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/series/lncs/5454},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/2009P9381,
  editor    = {Jean{-}Raymond Abrial and
               Michael J. Butler and
               Rajev Joshi and
               Elena Troubitsyna and
               J. C. P. Woodcock},
  title     = {Refinement Based Methods for the Construction of Dependable Systems,
               13.09. - 18.09.2009},
  series    = {Dagstuhl Seminar Proceedings},
  volume    = {09381},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
  year      = {2009},
  url       = {http://drops.dagstuhl.de/portals/09381/},
  timestamp = {Wed, 08 Apr 2015 18:13:16 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dagstuhl/2009P9381},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/asm/2008,
  editor    = {Egon B{\"{o}}rger and
               Michael J. Butler and
               Jonathan P. Bowen and
               Paul Boca},
  title     = {Abstract State Machines, {B} and Z, First International Conference,
               {ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5238},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-87603-8},
  doi       = {10.1007/978-3-540-87603-8},
  isbn      = {978-3-540-87602-1},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfem/2008,
  editor    = {Shaoying Liu and
               T. S. E. Maibaum and
               Keijiro Araki},
  title     = {Formal Methods and Software Engineering, 10th International Conference
               on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan,
               October 27-31, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5256},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-88194-0},
  doi       = {10.1007/978-3-540-88194-0},
  isbn      = {978-3-540-88193-3},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/b/2007,
  editor    = {Jacques Julliand and
               Olga Kouchnarenko},
  title     = {B 2007: Formal Specification and Development in B, 7th International
               Conference of {B} Users, Besan{\c{c}}on, France, January 17-19, 2007,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4355},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11955757},
  doi       = {10.1007/11955757},
  isbn      = {3-540-68760-2},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/b/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tap/2007,
  editor    = {Yuri Gurevich and
               Bertrand Meyer},
  title     = {Tests and Proofs, First International Conference, {TAP} 2007, Zurich,
               Switzerland, February 12-13, 2007. Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {4454},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73770-4},
  doi       = {10.1007/978-3-540-73770-4},
  isbn      = {978-3-540-73769-8},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tap/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tase/2007,
  title     = {First Joint {IEEE/IFIP} Symposium on Theoretical Aspects of Software
               Engineering, {TASE} 2007, June 5-8, 2007, Shanghai, China},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4239934},
  isbn      = {0-7695-2856-2},
  timestamp = {Mon, 01 Dec 2014 19:24:57 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tase/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fm/2006,
  editor    = {Jayadev Misra and
               Tobias Nipkow and
               Emil Sekerinski},
  title     = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
               Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4085},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11813040},
  doi       = {10.1007/11813040},
  isbn      = {3-540-37215-6},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/gpce/2006,
  editor    = {Stan Jarzabek and
               Douglas C. Schmidt and
               Todd L. Veldhuizen},
  title     = {Generative Programming and Component Engineering, 5th International
               Conference, {GPCE} 2006, Portland, Oregon, USA, October 22-26, 2006,
               Proceedings},
  publisher = {{ACM}},
  year      = {2006},
  isbn      = {1-59593-237-2},
  timestamp = {Wed, 06 Dec 2006 10:15:27 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/gpce/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfem/2006,
  editor    = {Zhiming Liu and
               Jifeng He},
  title     = {Formal Methods and Software Engineering, 8th International Conference
               on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November
               1-3, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4260},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11901433},
  doi       = {10.1007/11901433},
  isbn      = {3-540-47460-9},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/rodin/2006,
  editor    = {Michael J. Butler and
               Cliff B. Jones and
               Alexander Romanovsky and
               Elena Troubitsyna},
  title     = {Rigorous Development of Complex Fault-Tolerant Systems {[FP6} {IST-511599}
               {RODIN} project]},
  series    = {Lecture Notes in Computer Science},
  volume    = {4157},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11916246},
  doi       = {10.1007/11916246},
  isbn      = {3-540-48265-2},
  timestamp = {Mon, 05 Jun 2017 12:41:20 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/rodin/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/asm/2005,
  title     = {Proceedings of the 12th International Workshop on Abstract State Machines,
               {ASM} 2005, March 8-11, 2005, Paris, France},
  year      = {2005},
  timestamp = {Thu, 26 Jul 2007 15:03:11 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/concur/2005,
  editor    = {Mart{\'{\i}}n Abadi and
               Luca de Alfaro},
  title     = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
               {CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3653},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11539452},
  doi       = {10.1007/11539452},
  isbn      = {3-540-28309-9},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/concur/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/epew/2005,
  editor    = {Mario Bravetti and
               Le{\"{\i}}la Kloul and
               Gianluigi Zavattaro},
  title     = {Formal Techniques for Computer Systems and Business Processes, European
               Performance Engineering Workshop, {EPEW} 2005 and International Workshop
               on Web Services and Formal Methods, {WS-FM} 2005, Versailles, France,
               September 1-3, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3670},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11549970},
  doi       = {10.1007/11549970},
  isbn      = {3-540-28701-9},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/epew/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fm/2005,
  editor    = {John S. Fitzgerald and
               Ian J. Hayes and
               Andrzej Tarlecki},
  title     = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
               Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3582},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b27882},
  doi       = {10.1007/b27882},
  isbn      = {3-540-27882-6},
  timestamp = {Fri, 02 Jun 2017 20:50:05 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfem/2005,
  editor    = {Kung{-}Kiu Lau and
               Richard Banach},
  title     = {Formal Methods and Software Engineering, 7th International Conference
               on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
               1-4, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3785},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11576280},
  doi       = {10.1007/11576280},
  isbn      = {3-540-29797-9},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/zum/2005,
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b135596},
  doi       = {10.1007/b135596},
  isbn      = {3-540-25559-1},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/zum/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/atal/2004trust,
  editor    = {Rino Falcone and
               K. Suzanne Barber and
               Jordi Sabater{-}Mir and
               Munindar P. Singh},
  title     = {Trusting Agents for Trusting Electronic Societies, Theory and Applications
               in {HCI} and E-Commerce},
  series    = {Lecture Notes in Computer Science},
  volume    = {3577},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11532095},
  doi       = {10.1007/11532095},
  isbn      = {3-540-28012-X},
  timestamp = {Tue, 30 May 2017 16:36:53 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/atal/2004trust},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2004csp,
  editor    = {Ali E. Abdallah and
               Cliff B. Jones and
               Jeff W. Sanders},
  title     = {Communicating Sequential Processes: The First 25 Years, Symposium
               on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004, Revised
               Invited Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {3525},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b136154},
  doi       = {10.1007/b136154},
  isbn      = {3-540-25813-2},
  timestamp = {Thu, 01 Jun 2017 18:57:57 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2004csp},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/coordination/2004,
  editor    = {Rocco De Nicola and
               Gian Luigi Ferrari and
               Greg Meredith},
  title     = {Coordination Models and Languages, 6th International Conference, {COORDINATION}
               2004, Pisa, Italy, February 24-27, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2949},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b95570},
  doi       = {10.1007/b95570},
  isbn      = {3-540-21044-X},
  timestamp = {Mon, 29 May 2017 16:53:43 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/coordination/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/itrust/2004,
  editor    = {Christian Damsgaard Jensen and
               Stefan Poslad and
               Theodosis Dimitrakos},
  title     = {Trust Management, Second International Conference, iTrust 2004, Oxford,
               UK, March 29 - April 1, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2995},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b96545},
  doi       = {10.1007/b96545},
  isbn      = {3-540-21312-0},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/itrust/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ershov/2003,
  editor    = {Manfred Broy and
               Alexandre V. Zamulin},
  title     = {Perspectives of Systems Informatics, 5th International Andrei Ershov
               Memorial Conference, {PSI} 2003, Akademgorodok, Novosibirsk, Russia,
               July 9-12, 2003, Revised Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {2890},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b94823},
  doi       = {10.1007/b94823},
  isbn      = {3-540-20813-5},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ershov/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fm/2003,
  editor    = {Keijiro Araki and
               Stefania Gnesi and
               Dino Mandrioli},
  title     = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
               Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2805},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b13229},
  doi       = {10.1007/b13229},
  isbn      = {3-540-40828-2},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sefm/2003,
  title     = {1st International Conference on Software Engineering and Formal Methods
               {(SEFM} 2003), 22-27 September 2003, Brisbane, Australia},
  publisher = {{IEEE} Computer Society},
  year      = {2003},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8747},
  isbn      = {0-7695-1949-0},
  timestamp = {Thu, 28 May 2015 17:23:22 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sefm/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/zum/2003,
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Steve King and
               Marina A. Wald{\'{e}}n},
  title     = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
               International Conference of {B} and {Z} Users, Turku, Finland, June
               4-6, 2003, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2651},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-44880-2},
  doi       = {10.1007/3-540-44880-2},
  isbn      = {3-540-40253-5},
  timestamp = {Thu, 15 Jun 2017 21:33:04 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/zum/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfem/2002,
  editor    = {Chris George and
               Huaikou Miao},
  title     = {Formal Methods and Software Engineering, 4th International Conference
               on Formal Engineering Methods, {ICFEM} 2002 Shanghai, China, October
               21-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2495},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-36103-0},
  doi       = {10.1007/3-540-36103-0},
  isbn      = {3-540-00029-1},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/zum/2002,
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1},
  doi       = {10.1007/3-540-45648-1},
  isbn      = {3-540-43166-7},
  timestamp = {Thu, 15 Jun 2017 21:33:05 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/zum/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fm/2001,
  editor    = {Jos{\'{e}} Nuno Oliveira and
               Pamela Zave},
  title     = {{FME} 2001: Formal Methods for Increasing Software Productivity, International
               Symposium of Formal Methods Europe, Berlin, Germany, March 12-16,
               2001, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2021},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-45251-6},
  doi       = {10.1007/3-540-45251-6},
  isbn      = {3-540-41791-5},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ifm/2000,
  editor    = {Wolfgang Grieskamp and
               Thomas Santen and
               Bill Stoddart},
  title     = {Integrated Formal Methods, Second International Conference, {IFM}
               2000, Dagstuhl Castle, Germany, November 1-3, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1945},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-40911-4},
  doi       = {10.1007/3-540-40911-4},
  isbn      = {3-540-41196-8},
  timestamp = {Wed, 24 May 2017 15:40:42 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifm/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iwsm/2000,
  editor    = {Reiner R. Dumke and
               Alain Abran},
  title     = {New Approaches in Software Measurement, 10th International Workshop,
               {IWSM} 2000, Berlin, Germany, October 4-6, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2006},
  publisher = {Springer},
  year      = {2001},
  url       = {https://doi.org/10.1007/3-540-44704-0},
  doi       = {10.1007/3-540-44704-0},
  isbn      = {3-540-41727-3},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iwsm/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/zum/2000,
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0},
  doi       = {10.1007/3-540-44525-0},
  isbn      = {3-540-67944-8},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/zum/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fm/1999-1,
  editor    = {Jeannette M. Wing and
               Jim Woodcock and
               Jim Davies},
  title     = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
               of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
               Volume {I}},
  series    = {Lecture Notes in Computer Science},
  volume    = {1708},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48119-2},
  doi       = {10.1007/3-540-48119-2},
  isbn      = {3-540-66587-0},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/1999-1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/java/1999formal,
  editor    = {Jim Alves{-}Foss},
  title     = {Formal Syntax and Semantics of Java},
  series    = {Lecture Notes in Computer Science},
  volume    = {1523},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48737-9},
  doi       = {10.1007/3-540-48737-9},
  isbn      = {3-540-66158-1},
  timestamp = {Tue, 23 May 2017 14:54:58 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/java/1999formal},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/zum/1997,
  editor    = {Jonathan P. Bowen and
               Michael G. Hinchey and
               David Till},
  title     = {{ZUM} '97: The {Z} Formal Specification Notation, 10th International
               Conference of {Z} Users, Reading, UK, April 3-4, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1212},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0027279},
  doi       = {10.1007/BFb0027279},
  isbn      = {3-540-62717-0},
  timestamp = {Mon, 22 May 2017 17:10:59 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/zum/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tphol/1996,
  editor    = {Joakim von Wright and
               Jim Grundy and
               John Harrison},
  title     = {Theorem Proving in Higher Order Logics, 9th International Conference,
               TPHOLs'96, Turku, Finland, August 26-30, 1996, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1125},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0105392},
  doi       = {10.1007/BFb0105392},
  isbn      = {3-540-61587-3},
  timestamp = {Mon, 22 May 2017 16:14:06 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tphol/1996},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/dagstuhl/1995fm,
  editor    = {Jean{-}Raymond Abrial and
               Egon B{\"{o}}rger and
               Hans Langmaack},
  title     = {Formal Methods for Industrial Applications, Specifying and Programming
               the Steam Boiler Control (the book grow out of a Dagstuhl Seminar,
               June 1995)},
  series    = {Lecture Notes in Computer Science},
  volume    = {1165},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/BFb0027227},
  doi       = {10.1007/BFb0027227},
  isbn      = {3-540-61929-1},
  timestamp = {Mon, 22 May 2017 16:14:05 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/dagstuhl/1995fm},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/mpc/1995,
  editor    = {Bernhard M{\"{o}}ller},
  title     = {Mathematics of Program Construction, MPC'95, Kloster Irsee, Germany,
               July 17-21, 1995, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {947},
  publisher = {Springer},
  year      = {1995},
  url       = {https://doi.org/10.1007/3-540-60117-1},
  doi       = {10.1007/3-540-60117-1},
  isbn      = {3-540-60117-1},
  timestamp = {Sat, 20 May 2017 15:32:49 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/mpc/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/concur/1993,
  editor    = {Eike Best},
  title     = {{CONCUR} '93, 4th International Conference on Concurrency Theory,
               Hildesheim, Germany, August 23-26, 1993, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {715},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-57208-2},
  doi       = {10.1007/3-540-57208-2},
  isbn      = {3-540-57208-2},
  timestamp = {Sat, 20 May 2017 15:32:53 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/concur/1993},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fm/1991-1,
  editor    = {S{\o}ren Prehn and
               W. J. Toetenel},
  title     = {{VDM} '91 - Formal Software Development, 4th International Symposium
               of {VDM} Europe, Noordwijkerhout, The Netherlands, October 21-25,
               1991, Proceedings, Volume 1: Conference Contributions},
  series    = {Lecture Notes in Computer Science},
  volume    = {551},
  publisher = {Springer},
  year      = {1991},
  url       = {https://doi.org/10.1007/3-540-54834-3},
  doi       = {10.1007/3-540-54834-3},
  isbn      = {3-540-54834-3},
  timestamp = {Sat, 20 May 2017 15:32:51 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/1991-1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/zum/1990,
  editor    = {J. E. Nicholls},
  title     = {Z User Workshop, Oxford, UK, Proceedings of the Fifth Annual {Z} User
               Meeting, 17-18 December 1990},
  series    = {Workshops in Computing},
  publisher = {Springer},
  year      = {1991},
  isbn      = {3-540-19672-2},
  timestamp = {Tue, 25 Feb 2003 13:22:15 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/zum/1990},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier