Guy H. Broadfoot (2005):
ASD Case Notes: Costs and Benefits of Applying Formal Methods to Industrial Control Software.
In: Fitzgerald,
pp. 548–551,
doi:10.1007/11526841_39.
Hugo Bruneliere, Jordi Cabot, Frédéric Jouault & Frédéric Madiot (2010):
MoDisco: A Generic and Extensible Framework for Model Driven Reverse Engineering.
In: Proceedings of the IEEE/ACM International Conference on Automated Software Engineering,
ASE '10.
ACM,
New York, NY, USA,
pp. 173–174,
doi:10.1145/1858996.1859032.
Verum Software Technologies B.V.:
Homepage Verum.
Available at http://www.verum.com/.
Colin Campbell, Wolfgang Grieskamp, Lev Nachmanson, Wolfram Schulte, Nikolai Tillmann & Margus Veanes (2005):
Testing Concurrent Object-Oriented Systems with Spec Explorer.
In: Fitzgerald,
pp. 542–547,
doi:10.1007/11526841_38.
R. Doornbos, J. Hooman & B. van Vlimmeren (2012):
Complementary verification of embedded software using ASD and Uppaal.
In: Innovations in Information Technology (IIT), 2012 International Conference on,
pp. 60–65,
doi:10.1109/INNOVATIONS.2012.6207775.
John A. Fitzgerald, Ian J. Hayes & Andrzej Tarlecki (2005):
FM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings.
Lecture Notes in Computer Science 3582.
Springer.
Philippa J. Hopcroft & Guy H. Broadfoot (2005):
Combining the Box Structure Development Method and CSP for Software Development.
Electr. Notes Theor. Comput. Sci. 128(6),
pp. 127–144,
doi:10.1016/j.entcs.2005.04.008.
Margus Veanes, Colin Campbell, Wolfram Schulte & Nikolai Tillmann (2005):
Online testing with model programs.
In: Michel Wermelinger & Harald Gall: ESEC/SIGSOFT FSE.
ACM,
pp. 273–282,
doi:10.1145/1081706.1081751.