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

Comments and questions to:
For website issues: