Jean-Raymond Abrial 2010 Cambridge University Press 10.1017/CBO9781139195881 http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=9780521895569 Jean-Raymond Abrial Michael J. Butler Stefan Hallerstede Thai Son Hoang Farhad Mehta Laurent Voisin 2010 STTT 12 6 447–466 10.1007/s10009-010-0145-y 2015 http://asmeta.sourceforge.net Egon Börger Robert F. Stärk 2003 Springer 10.1007/978-3-642-18216-7 M. Clavel F. Durn S. Eker P. Lincoln N. Marti-Oliet J. Meseguer J. F. Quesada 1999 Rewriting Techniques and Applications Springer, LNCS1631 10.1007/3-540-48685-2_18 Manuel Clavel Francisco Durán Steven Eker Patrick Lincoln Narciso Martí-Oliet José Meseguer Carolyn L. Talcott 2007 Lecture Notes of Computer Science 4350 Springer-Verlag 10.1007/978-3-540-71999-1 Joey W. Coleman Anders Kaels Malmos Peter Gorm Larsen Jan Peleska Ralph Hains Zoe Andrews Richard Payne Simon Foster Alvaro Miyazawa Cristiano Bertolini André Didier 2012 Proceedings of the 7th International Conference on System of System Engineering, IEEE SoSE 2012 451–456 10.1109/SYSoSE.2012.6384150 Joey W. Coleman Anders Kaels Malmos Claus Ballegaard Nielsen Peter Gorm Larsen 2012 Proceedings of the 10th Overture Workshop 2012 School of Computing Science, Newcastle University Controllab products 2013 20-Sim official website Luís Diogo Couto Richard Payne 2013 Proceedings of the 11th Overture Workshop Luís Diogo Couto Peter W. V. Tran-Jørgensen 2015 13th Overture Workshop

Oslo, Norway

Luís Diogo Couto Peter W. V. Tran-Jørgensen Joey W. Coleman Kenneth Lausdahl 2015 12th Working IEEE / IFIP Conference on Software Architecture Eclipse 2015 http://eclipse.org/dltk/ 2015 http://www.event-b.org John Fitzgerald Peter Gorm Larsen 2009 Second Cambridge University Press

The Edinburgh Building, Cambridge CB2 2RU, UK

10.1017/CBO9780511626975 ISBN 0-521-62348-0 John Fitzgerald Peter Gorm Larsen Paul Mukherjee Nico Plat Marcel Verhoef 2005 Springer, New York 10.1007/b138800 http://overturetool.org/publications/books/vdoos/ John Fitzgerald Peter Gorm Larsen Shin Sahara 2008 ACM Sigplan Notices 43 2 3–11 10.1145/1361213.1361214 John Fitzgerald Peter Gorm Larsen Marcel Verhoef 2014 Springer 10.1007/978-3-642-54118-6 http://link.springer.com/book/10.1007/978-3-642-54118-6 Simon Foster Frank Zeyda Jim Woodcock 2015 Unifying Theories of Programming Springer 21–41 10.1007/978-3-319-14806-9_2 Etienne M. Gagnon Laurie J. Hendren 1998 Proceedings of the Technology of Object-Oriented Languages and Systems TOOLS '98 IEEE Computer Society

Washington, DC, USA

140–154 10.1109/TOOLS.1998.711009 E. Gamma R. Helm R. Johnson R. Vlissides 1995 Addison-Wesley Professional Computing Series Addison-Wesley Publishing Company C.A.R Hoare 1978 Communications of the ACM 21 8 10.1145/359576.359585 Tony Hoare He Jifeng 1998 Prentice Hall 10.1007/11768173 Isabelle/Eclipse 2015 http://andriusvelykis.github.io/isabelle-eclipse/ Ethan K. Jackson Dirk Seifert Markus Dahlweid Thomas Santen Nikolaj Bjørner Wolfram Schulte 2009 Alexandre Bergel Johan Fabry Software Composition Lecture Notes in Computer Science 5634 Springer Berlin Heidelberg 72–89 10.1007/978-3-642-02655-3_7 Cliff B. Jones 1999 J.M. Wing J.C.P. Woodcock J. Davies FM'99 - Formal Methods Springer-Verlag 28–47 10.1007/3-540-48119-2_2 Lecture Notes in Computer Science 1708 Peter W.V. Jørgensen Luís D. Couto Morten Larsen 2014 The Overture 2014 workshop Leslie Lamport 2002 Addison-Wesley http://research.microsoft.com/users/lamport/tla/book.html P. G. Larsen B. S. Hansen 1996 International Standard ISO/IEC 13817-1 Peter Gorm Larsen Nick Battle Miguel Ferreira John Fitzgerald Kenneth Lausdahl Marcel Verhoef 2010 SIGSOFT Softw. Eng. Notes 35 1 1–6 10.1145/1668862.1668864 Peter Gorm Larsen Kenneth Lausdahl Nick Battle 2010 Proceedings of the 2010 8th IEEE International Conference on Software Engineering and Formal Methods SEFM '10 IEEE Computer Society

Washington, DC, USA

278–285 10.1109/SEFM.2010.32 ISBN 978-0-7695-4153-2 Kenneth Lausdahl Hiroshi Ishikawa Peter Gorm Larsen 2015 Proceedings of the 12th Overture Workshop Technical Report Series CS-TR-1446 Computing Science, Newcastle University 1–15 http://www.cs.ncl.ac.uk/publications/trs/papers/1446.pdf Kenneth Lausdahl Peter Gorm Larsen Nick Battle 2011 Shengchao Qin Zongyan Qiu Proceedings of the 13th international conference on Formal methods and software engineering Lecture Notes in Computer Science 6991 Springer-Verlag

Berlin, Heidelberg

179–194 10.1007/978-3-642-24559-6_14 http://dl.acm.org/citation.cfm?id=2075089.2075107 ISBN 978-3-642-24558-9 Michael Leuschel Michael Butler 2003 FME 2003: Formal Methods Springer 855–874 10.1007/978-3-540-45236-2_46 Michael Leuschel Michael Butler 2005 Formal Methods and Software Engineering Springer 345–359 10.1007/11576280_24 Paul Mukherjee Fabien Bousquet Jérôme Delabre Stephen Paynter Peter Gorm Larsen 2000 J.C. Bicarregui J.S. Fitzgerald Proceedings of the Second VDM Workshop Available at www.vdmportal.org Tobias Nipkow Lawrence C Paulson Markus Wenzel 2002 2283 Springer Science & Business Media 10.1007/3-540-45949-9 Terence Parr 2007 Pragmatic Bookshelf Lawrence C. Paulson 2010 Renate A. Schmidt Stephan Schulz Boris Konev Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning, PAAR-2010, Edinburgh, Scotland, UK, July 14, 2010 EPiC Series 9 1–10 Jan Peleska Elena Vorobev Florian Lapschies 2011 Mihaela Bobaru Klaus Havelund Gerard J. Holzmann Rajeev Joshi Nasa Formal Methods, Third International Symposium, NFM 2011 NASA Springer LNCS 6617

Pasadena, CA, USA

298–312 10.1007/978-3-642-20398-5_22 2015 http://research.microsoft.com/en-us/um/people/lamport/tla/toolbox.html Marcel Verhoef 2009 Radboud University Nijmegen Marcel Verhoef Peter Gorm Larsen Jozef Hooman 2006 Jayadev Misra Tobias Nipkow Emil Sekerinski FM 2006: Formal Methods Lecture Notes in Computer Science 4085 Springer-Verlag 147–162 10.1007/11813040_11 J. Woodcock A. Cavalcanti J. Fitzgerald P. Larsen A. Miyazawa S. Perry 2012 Proceedings of the 7th International Conference on System of System Engineering IEEE 10.1109/SYSoSE.2012.6384144 Xtext 2015 https://eclipse.org/Xtext/