@inproceedings(Acerbis2015,
 author       = {Roberto Acerbis and Aldo Bongio and Marco Brambilla and Stefano Butti},
 year         = {2015},
 title        = {Model-Driven Development of Cross-Platform Mobile Applications with {Web Ratio} and {IFML}},
 booktitle    = {Proceedings of the 2015 2nd ACM International Conference on Mobile Software Engineering and Systems},
 series       = {MOBILESOFT '15},
 publisher    = {IEEE Computer Society},
 address      = {Washington, DC, USA},
 pages        = {170--171},
 doi          = {10.1109/MobileSoft.2015.49},
)
@phdthesis(BowenThesis2008,
 author       = {Judy Bowen},
 year         = {2008},
 title        = {Formal Models and Refinement for Graphical User Interface Design},
 address      = {Hamilton, New Zealand},
 url          = {http://hdl.handle.net/10289/3995},
 note         = {Doctoral},
)
@article(bowen-models-2007,
 author       = {Judy Bowen and Steve Reeves},
 year         = {2007},
 title        = {Formal models for informal GUI designs},
 journal      = {Electronic Notes in Theoretical Computer Science},
 volume       = {183},
 pages        = {57--72},
 doi          = {10.1016/j.entcs.2007.01.061},
)
@inproceedings(grov17,
 author       = {Gudmund Grov},
 year         = {2017},
 title        = {The Tinker GUI for Graphical Proof Strategies (tool demo)},
 booktitle    = {3rd workshop on Formal Integrated Development Environment (F-IDE)},
 doi          = {10.4204/EPTCS.240.8},
)
@article(Grov2018,
 author       = {Gudmund Grov and Yuhui Lin},
 year         = {2018},
 title        = {The Tinker tool for graphical tactic development},
 journal      = {International Journal on Software Tools for Technology Transfer},
 volume       = {20},
 number       = {2},
 pages        = {139--155},
 doi          = {10.1007/s10009-017-0452-7},
)
@inproceedings(heitmeyer1998scr,
 author       = {Constance Heitmeyer and James Kirby and Bruce Labaw and Ramesh Bharadwaj},
 year         = {1998},
 title        = {SCR: A toolset for specifying and analyzing software requirements},
 booktitle    = {International Conference on Computer Aided Verification},
 organization = {Springer},
 pages        = {526--531},
 doi          = {10.1007/BFb0028775},
)
@inproceedings(hoang2016validating,
 author       = {Thai Son Hoang and Colin Snook and Lukas Ladenberger and Michael Butler},
 year         = {2016},
 title        = {Validating the requirements and design of a hemodialysis machine using iUML-B, BMotion Studio, and co-simulation},
 booktitle    = {International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z},
 organization = {Springer},
 pages        = {360--375},
 doi          = {10.1007/978-3-319-33600-8_31},
)
@article(jaspan2009software,
 author       = {Ciera Jaspan and Michael Keeling and Larry Maccherone and Gabriel L Zenarosa and Mary Shaw},
 year         = {2009},
 title        = {Software mythbusters explore formal methods},
 journal      = {IEEE Software},
 volume       = {26},
 number       = {6},
 pages        = {60},
 doi          = {10.1109/MS.2009.188},
)
@(oreilly2016survey,
 author       = {{John King and Roger Magoulas}},
 year         = {2015},
 title        = {2016 Design Salary and Tools Survey},
 url          = {https://www.oreilly.com/ideas/2016-design-salary-survey/},
)
@article(kreiker2011manifesto,
 author       = {J{\"o}rg Kreiker and Andrzej Tarlecki and Moshe Y Vardi and Reinhard Wilhelm},
 year         = {2011},
 title        = {Modeling, Analysis, and Verification - The Formal Methods Manifesto 2010},
 journal      = {Dagstuhl Manifestos},
 volume       = {1},
 number       = {1},
)
@inproceedings(ladenberger2009visualising,
 author       = {Lukas Ladenberger and Jens Bendisposto and Michael Leuschel},
 year         = {2009},
 title        = {Visualising event-B models with B-motion studio},
 booktitle    = {International Workshop on Formal Methods for Industrial Critical Systems},
 organization = {Springer},
 pages        = {202--204},
 doi          = {10.1007/978-3-642-04570-7_17},
)
@inproceedings(larsen2010formal,
 author       = {Peter Gorm Larsen and John S Fitzgerald and Sune Wolff},
 year         = {2010},
 title        = {Are Formal Methods Ready for Agility? A Reality Check.},
 booktitle    = {FM+ AM},
 pages        = {13--25},
)
@inproceedings(cav15,
 author       = {Paolo Masci and Patrick Oladimeji and Yi Zhang and Paul Jones and Paul Curzon and Harold Thimbleby},
 year         = {2015},
 title        = {{PVSio-web 2.0: Joining PVS to HCI}},
 booktitle    = {{International Conference on Computer Aided Verification}},
 organization = {Springer},
 pages        = {470--478},
 doi          = {10.1007/978-3-319-21690-4_30},
)
@misc(munoz2003rapid,
 author       = {Mu{\~n}oz, C{\'e}sar A and Ricky Butler},
 year         = {2003},
 title        = {Rapid prototyping in {PVS}},
 url          = {http://ntrs.nasa.gov/search.jsp?R=20040046914},
 note         = {{NASA/CR-2003-212418, NIA Report No.2003-03}},
)
@(north-story-2007,
 author       = {Dan North},
 year         = {2007},
 title        = {What's in a {Story}?},
 url          = {https://dannorth.net/whats-in-a-story/},
)
@inproceedings(vdmpad,
 author       = {T. Oda and K. Araki and P. G. Larsen},
 year         = {2015},
 title        = {VDMPad: A Lightweight IDE for Exploratory VDM-SL Specification},
 booktitle    = {2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering},
 pages        = {33--39},
 doi          = {10.1109/FormaliSE.2015.13},
)
@inproceedings(oda2015vdm,
 author       = {Tomohiro Oda and Y Yamomoto and Kumiyo Nakakoji and Keijiro Araki and Peter Gorm Larsen},
 year         = {2015},
 title        = {VDM animation for a wider range of stakeholders},
 booktitle    = {Proceedings of the 13th Overture Workshop},
 pages        = {18--32},
)
@inproceedings(pvs,
 author       = {Sam Owre and John M. Rushby and Natarajan Shankar},
 year         = {1992},
 title        = {PVS: A Prototype Verification System},
 booktitle    = {Proceedings of the 11th International Conference on Automated Deduction: Automated Deduction},
 series       = {CADE-11},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {748--752},
 doi          = {10.1007/3-540-55602-8\_217},
)
@incollection(paiva2007reverse,
 author       = {Ana CR Paiva and Jo{\~a}o CP Faria and Pedro MC Mendes},
 year         = {2007},
 title        = {Reverse engineered formal models for GUI testing},
 booktitle    = {Formal methods for industrial critical systems},
 publisher    = {Springer},
 pages        = {218--233},
 doi          = {10.1007/978-3-540-79707-4_16},
)
@techreport(nathan-honours,
 author       = {Nathan Robb},
 year         = {2015},
 title        = {Exploring Aspects of Automated Test Generation on Models},
 type         = {Unpublished honours report},
 institution  = {University of Waikato},
)
@article(whittle2014state,
 author       = {Jon Whittle and John Hutchinson and Mark Rouncefield},
 year         = {2014},
 title        = {The state of practice in model-driven engineering},
 journal      = {IEEE Software},
 volume       = {31},
 number       = {3},
 pages        = {79--85},
 doi          = {10.1109/MS.2013.65},
)
@incollection(winckler2003statewebcharts,
 author       = {Marco Winckler and Philippe Palanque},
 year         = {2003},
 title        = {StateWebCharts: A formal description technique dedicated to navigation modelling of web applications},
 booktitle    = {Interactive Systems. Design, Specification, and Verification},
 publisher    = {Springer},
 pages        = {61--76},
 doi          = {10.1007/978-3-540-39929-2_5},
)