Richard J Anderson, Paul Beame, Steve Burns, William Chan, Francesmary Modugno, David Notkin & Jon D Reese (1996):
Model checking large software specifications.
In: ACM SIGSOFT Software Engineering Notes 21.
ACM,
pp. 156–166,
doi:10.1145/239098.239127.
L. Baresi, A. Morzenti, A. Motta & M. Rossi (2012):
Towards the UML-Based Formal Verification of Timed Systems.
In: F. Meth. for Components and Objects.
Springer,
pp. 267–286,
doi:10.1007/978-3-642-25271-6.
G. Behrmann, A. David & K. Larsen (2004):
A tutorial on uppaal.
Formal methods for the design of real-time systems,
pp. 33–35,
doi:10.1007/978-3-540-30080-9-7.
Alistair Cockburn (2000):
Writing Effective Use Cases,
1st edition.
Addison-Wesley Longman Publishing Co., Inc.,
Boston, MA, USA.
Available at http://dl.acm.org/citation.cfm?id=517669.
V. Cortellessa & R. Mirandola (2002):
PRIMA-UML: a performance validation incremental methodology on early UML diagrams.
SC Programming 44(1),
pp. 101–129,
doi:10.1016/S0167-6423(02)00033-3.
M. Debbabi, F. Hassaïne, Y. Jarraya, A. Soeanu & L. Alawneh (2010):
Verification and Validation in Systems Engineering.
Springer,
Berlin, Heidelberg - Germany,
doi:10.1007/978-3-642-15228-3.
270 p..
J. Dubrovin & T. Junttila (2008):
Symbolic model checking of hierarchical UML state machines.
In: Application of Concurrency to System Design, 2008. 8th International Conference on.
IEEE,
pp. 108–117,
doi:10.1109/ACSD.2008.4574602.
M. B. Dwyer, G. S. Avrunin & J. C. Corbett (1999):
Patterns in property specifications for finite-state verification.
In: Proceedings....
International Conference on Software Engineering (ICSE).
ACM,
New York, NY, USA,
pp. 411–420,
doi:10.1145/302405.302672.
R. Eshuis (2006):
Symbolic model checking of UML activity diagrams.
ACM Transactions on Software Engineering and Methodology (TOSEM) 15(1),
pp. 1–38,
doi:10.1145/1125808.1125809.
K. Johnson, R. Calinescu & S. Kikuchi (2013):
An Incremental Verification Framework for Component-based Software Systems.
In: Proceedings of the 16th International ACM Sigsoft Symposium on Component-based Software Engineering,
CBSE '13.
ACM,
New York, NY, USA,
pp. 33–42,
doi:10.1145/2465449.2465456.
FONDAZIONE BRUNO KESSLER (2011):
NuSMV Home Page.
Available at http://nusmv.fbk.eu/.
J. Merseguer, J. Campos, S. Bernardi & S. Donatelli (2002):
A Compositional Semantics for UML State Machines Aimed at Performance Evaluation.
WODES '02.
IEEE Computer Society,
Washington, DC, USA,
pp. 295–.
Available at http://dl.acm.org/citation.cfm?id=832316.837588.
E. Mikk, Y. Lakhnech, M. Siegel & G.J. Holzmann (1998):
Implementing statecharts in PROMELA/SPIN.
In: Industrial Strength Formal Specification Techniques, 1998..
IEEE,
pp. 90–101,
doi:10.1109/WIFT.1998.766303.
The Object Management Group OMG (1997):
OMG - Unified Modeling Language (OMG UML).
Available at http://www.uml.org/.
V. A. Santiago Júnior & N. L. Vijaykumar (2012):
Generating Model-Based Test Cases from Natural Language Requirements for Space Application Software.
Software Quality Journal 20(1),
pp. 77–143,
doi:10.1007/s11219-011-9155-6.
T. Schäfer, A. Knapp & S. Merz (2001):
Model checking UML state machines and collaborations.
Electronic Notes in Theoretical Computer Science 55(3),
pp. 357–369,
doi:10.1016/S1571-0661(04)00262-2.
Sebastian Uchitel & Jeff Kramer (2001):
A workbench for synthesising behaviour models from scenarios.
In: Proceedings of the 23rd intern. conference on Software engineering.
IEEE Computer Society,
pp. 188–197,
doi:10.1109/ICSE.2001.919093.
J. Woodcock, P. G. Larsen, J. Bicarregui & J. Fitzgerald (2009):
Formal methods: Practice and experience.
ACM Computing Surveys 41(4),
pp. 19:1–19:36,
doi:10.1145/1592434.1592436.