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