Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor & Elvinia Riccobene (2018):
Integrating formal methods into medical software development: The ASM approach.
Science of Computer Programming 158,
pp. 148 – 167,
doi:10.1016/j.scico.2017.07.003.
Paolo Arcaini, Angelo Gargantini & Elvinia Riccobene (2010):
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications.
In: Marc Frappier, Uwe Glässer, Sarfraz Khurshid, Régine Laleau & Steve Reeves: Abstract State Machines, Alloy, B and Z,
Lecture Notes in Computer Science 5977.
Springer Berlin Heidelberg,
pp. 61–74,
doi:10.1007/978-3-642-11811-1_6.
Paolo Arcaini, Angelo Gargantini & Elvinia Riccobene (2016):
SMT-based automatic proof of ASM model refinement.
In: Software Engineering and Formal Methods: 14th International Conference, SEFM 2016, Proceedings,
Lecture Notes in Computer Science.
Springer International Publishing,
Cham,
pp. 253–269,
doi:10.1007/978-3-319-41591-8_17.
Paolo Arcaini, Angelo Gargantini & Elvinia Riccobene (2017):
Rigorous development process of a safety-critical system: from ASM models to Java code.
International Journal on Software Tools for Technology Transfer 19(2),
pp. 247–269,
doi:10.1007/s10009-015-0394-x.
Paolo Arcaini, Angelo Gargantini & Elvinia Riccobene (2018):
SMT for state-based formal methods: the ASM case study.
In: Natarajan Shankar & Bruno Dutertre: Automated Formal Methods,
Kalpa Publications in Computing 5.
EasyChair,
pp. 1–18,
doi:10.29007/djdz.
Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene & Patrizia Scandurra (2011):
A model-driven process for engineering a toolset for a formal method.
Software: Practice and Experience 41(2),
pp. 155–166,
doi:10.1002/spe.1019.
Paolo Arcaini, Roxana-Maria Holom & Elvinia Riccobene (2016):
ASM-based formal design of an adaptivity component for a Cloud system.
Formal Aspects of Computing 28(4),
pp. 567–595,
doi:10.1007/s00165-016-0371-5.
Didier Bert, Sylvain Boulmé, Marie-Laure Potet, Antoine Requet & Laurent Voisin (2003):
Adaptable Translator of B Specifications to Embedded C Programs.
In: FME 2003: Formal Methods.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 94–113,
doi:10.1007/978-3-540-45236-2_7.
Silvia Bonfanti, Marco Carissoni, Angelo Gargantini & Atif Mashkoor (2017):
Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino.
In: NASA Formal Methods.
Springer International Publishing,
Cham,
pp. 295–301,
doi:10.1007/978-3-319-57288-8_21.
Egon Börger & Alexander Raschke (2018):
Modeling Companion for Software Practitioners.
Springer, Berlin, Heidelberg,
doi:10.1007/978-3-662-56641-1.
Egon Börger & Robert Stärk (2003):
Abstract State Machines: A Method for High-Level System Design and Analysis.
Springer Verlag,
doi:10.1007/978-3-642-18216-7.
Alessandro Cimatti, Edmund Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani & Armando Tacchella (2002):
NuSMV 2: An OpenSource Tool for Symbolic Model Checking.
In: Computer Aided Verification.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 359–364,
doi:10.1007/3-540-45657-0_29.
X. Devroey, M. Cordy, P. Y. Schobbens, A. Legay & P. Heymans (2015):
State machine flattening, a mapping study and tools assessment.
In: 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW),
pp. 1–8,
doi:10.1109/ICSTW.2015.7107408.
Angelo Gargantini, Elvinia Riccobene & Salvatore Rinzivillo (2003):
Using Spin to Generate Tests from ASM Specifications.
In: Abstract State Machines 2003.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 263–277,
doi:10.1007/3-540-36498-6_15.
Ichiro Hasuo (2017):
Metamathematics for Systems Design.
New Generation Computing 35(3),
pp. 271–305,
doi:10.1007/s00354-017-0023-1.
Kirsten Winter (1997):
Model Checking for Abstract State Machines.
Journal of Universal Computer Science (J.UCS) 3(5),
pp. 689–701,
doi:10.3217/jucs-003-05-0689.
Hamed Yaghoubi Shahir, Roozbeh Farahbod & Uwe Glässer (2012):
Refactoring Abstract State Machine Models.
In: Abstract State Machines, Alloy, B, VDM, and Z: Third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 345–348,
doi:10.1007/978-3-642-30885-7_28.