


Остановите войну!
for scientists:
Angelo Gargantini
Person information

Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2022
- [c112]Marcello M. Bersani, Chiara Braghin, Vittorio Cortellessa, Angelo Gargantini, Vincenzo Grassi, F. Lo Presti, Raffaela Mirandola, Alfonso Pierantonio, Elvinia Riccobene, Patrizia Scandurra:
Towards Trust-preserving Continuous Co-evolution of Digital Twins. ICSA Companion 2022: 96-99 - [c111]Andrea Bombarda, Angelo Gargantini:
Parallel Test Generation for Combinatorial Models Based on Multivalued Decision Diagrams. ICST Workshops 2022: 74-81 - [c110]Paolo Arcaini, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Daniele Gamba, Rita Pedercini:
Robustness assessment and improvement of a neural network for blood oxygen pressure estimation. ICST 2022: 312-322 - 2021
- [c109]Paolo Arcaini
, Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini:
Efficient Computation of Robustness of Convolutional Neural Networks. AITest 2021: 21-28 - [c108]Andrea Bombarda
, Silvia Bonfanti
, Angelo Gargantini
, Elvinia Riccobene
:
Extending ASMETA with Time Features. ABZ 2021: 105-111 - [c107]Silvia Bonfanti, Angelo Gargantini:
Comparison of Algorithms to Measure a Psychophysical Threshold using Digital Applications: The Stereoacuity Case Study. HEALTHINF 2021: 78-86 - [c106]Paolo Arcaini
, Andrea Bombarda
, Silvia Bonfanti
, Angelo Gargantini
, Elvinia Riccobene
, Patrizia Scandurra
:
The ASMETA Approach to Safety Assurance of Software Systems. Logic, Computation and Rigorous Methods 2021: 215-238 - [c105]Andrea Bombarda
, Edoardo Crippa, Angelo Gargantini:
An environment for benchmarking combinatorial test suite generators. ICST Workshops 2021: 48-56 - [c104]Matteo Camilli
, Angelo Gargantini, Patrizia Scandurra
, Catia Trubiani:
Uncertainty-aware Exploration in Model-based Testing. ICST 2021: 71-81 - [c103]Paolo Arcaini
, Andrea Bombarda
, Silvia Bonfanti, Angelo Gargantini:
ROBY: a Tool for Robustness Analysis of Neural Network Classifiers. ICST 2021: 442-447 - [c102]Andrea Bombarda, Silvia Bonfanti, Cristiano Galbiati, Angelo Gargantini, Patrizio Pelliccione, Elvinia Riccobene, Masayuki Wada:
Lessons Learned from the Development of a Mechanical Ventilator for COVID-19. ISSRE 2021: 24-35 - [c101]Andrea Bombarda
, Silvia Bonfanti
, Angelo Gargantini
:
Automatic Test Generation with ASMETA for the Mechanical Ventilator Milano Controller. ICTSS 2021: 65-72 - [c100]Andrea Bombarda, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene:
Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA. AppFM@FM 2021: 13-29 - 2020
- [j29]Atif Mashkoor
, Paolo Arcaini
, Angelo Gargantini
:
Intelligent Autonomous Systems. Computer 53(12): 20-23 (2020) - [j28]Silvia Bonfanti
, Angelo Gargantini
, Atif Mashkoor
:
Design and validation of a C++ code generator from Abstract State Machines specifications. J. Softw. Evol. Process. 32(2) (2020) - [j27]Matteo Camilli
, Angelo Gargantini
, Patrizia Scandurra
:
Model-based hypothesis testing of uncertain software systems. Softw. Test. Verification Reliab. 30(2) (2020) - [c99]Paolo Arcaini
, Andrea Bombarda
, Silvia Bonfanti, Angelo Gargantini
:
Dealing with Robustness of Convolutional Neural Networks for Image Classification. AITest 2020: 7-14 - [c98]Paolo Arcaini
, Silvia Bonfanti
, Angelo Gargantini
, Elvinia Riccobene
, Patrizia Scandurra
:
Modelling an Automotive Software-Intensive System with Adaptive Features Using ASMETA. ABZ 2020: 302-317 - [c97]Bestoun S. Ahmed, Angelo Gargantini
, Miroslav Bures:
An Automated Testing Framework For Smart TV apps Based on Model Separation. ICST Workshops 2020: 62-73 - [c96]Andrea Bombarda
, Angelo Gargantini
:
An Automata-Based Generation Method for Combinatorial Sequence Testing of Finite State Machines. ICST Workshops 2020: 157-166 - [i5]Bestoun S. Ahmed, Angelo Gargantini, Miroslav Bures:
An Automated Testing Framework For Smart TV apps Based on Model Separation. CoRR abs/2002.00404 (2020)
2010 – 2019
- 2019
- [j26]Bestoun S. Ahmed
, Angelo Gargantini
, Kamal Z. Zamli, Cemal Yilmaz
, Miroslav Bures, Marek Szeles:
Code-aware combinatorial interaction testing. IET Softw. 13(6): 600-609 (2019) - [j25]Paolo Arcaini
, Angelo Gargantini
, Marco Radavelli
:
Achieving change requirements of feature models by an evolutionary approach. J. Syst. Softw. 150: 64-76 (2019) - [j24]Paolo Arcaini
, Angelo Gargantini
, Elvinia Riccobene
:
Fault-based test generation for regular expressions by mutation. Softw. Test. Verification Reliab. 29(1-2) (2019) - [j23]Paolo Arcaini
, Angelo Gargantini
, Elvinia Riccobene
:
Decomposition-Based Approach for Model-Based Test Generation. IEEE Trans. Software Eng. 45(5): 507-520 (2019) - [c95]Paolo Gaspari, Elvinia Riccobene, Angelo Gargantini
:
A formal design of the hybrid European rail traffic management system. ECSA (Companion) 2019: 156-162 - [c94]Paolo Arcaini
, Silvia Bonfanti
, Angelo Gargantini
, Elvinia Riccobene
, Patrizia Scandurra
:
Addressing Usability in a Formal Development Environment. FM Workshops (1) 2019: 61-76 - [c93]Paolo Arcaini
, Angelo Gargantini, Marco Radavelli
:
Efficient and Guaranteed Detection of t-Way Failure-Inducing Combinations. ICST Workshops 2019: 200-209 - [c92]Bernhard Garn, Marco Radavelli
, Angelo Gargantini
, Manuel Leithner, Dimitris E. Simos:
A Fault-Driven Combinatorial Process for Model Evolution in XSS Vulnerability Detection. IEA/AIE 2019: 207-215 - [c91]Matteo Camilli
, Angelo Gargantini, Rosario Madaudo, Patrizia Scandurra
:
HYPpOTesT: Hypothesis Testing Toolkit for Uncertain Service-Based Web Applications. IFM 2019: 495-503 - [c90]Paolo Arcaini
, Angelo Gargantini
, Elvinia Riccobene
:
Regular Expression Learning with Evolutionary Testing and Repair. ICTSS 2019: 22-40 - [c89]Andrea Bombarda
, Silvia Bonfanti, Angelo Gargantini
, Marco Radavelli, Feng Duan, Yu Lei:
Combining Model Refinement and Test Generation for Conformance Testing of the IEEE PHD Protocol Using Abstract State Machines. ICTSS 2019: 67-85 - [c88]Paolo Arcaini
, Angelo Gargantini
, Marco Radavelli:
Achieving change requirements of feature models by an evolutionary approach. SPLC (A) 2019: 35:1 - [c87]Paolo Arcaini
, Angelo Gargantini
, Marco Radavelli:
A process for fault-driven repair of constraints among features. SPLC (B) 2019: 71:1-71:9 - [c86]Étienne André
, Paolo Arcaini
, Angelo Gargantini
, Marco Radavelli
:
Repairing Timed Automata Clock Guards through Abstraction and Testing. TAP@FM 2019: 129-146 - [c85]Andrea Bombarda
, Silvia Bonfanti, Angelo Gargantini
:
Developing Medical Devices from Abstract State Machines to Embedded Systems: A Smart Pill Box Case Study. TOOLS 2019: 89-103 - [i4]Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
Repairing Timed Automata Clock Guards through Abstraction and Testing. CoRR abs/1907.02133 (2019) - [i3]Bestoun S. Ahmed, Angelo Gargantini, Kamal Z. Zamli, Cemal Yilmaz, Miroslav Bures, Marek Szeles:
Code-Aware Combinatorial Interaction Testing. CoRR abs/1907.09029 (2019) - 2018
- [j22]Paolo Arcaini
, Silvia Bonfanti
, Angelo Gargantini
, Atif Mashkoor
, Elvinia Riccobene:
Integrating formal methods into medical software development: The ASM approach. Sci. Comput. Program. 158: 148-167 (2018) - [j21]Matteo Camilli
, Angelo Gargantini
, Patrizia Scandurra
:
Zone-based formal specification and timing analysis of real-time self-adaptive systems. Sci. Comput. Program. 159: 28-57 (2018) - [j20]Silvia Bonfanti
, Angelo Gargantini
, Atif Mashkoor
:
A systematic literature review of the use of formal methods in medical software systems. J. Softw. Evol. Process. 30(5) (2018) - [c84]Silvia Bonfanti
, Angelo Gargantini
, Atif Mashkoor:
AsmetaA: Animator for Abstract State Machines. ABZ 2018: 369-373 - [c83]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Closing the gap between the specification and the implementation: the ASMETA way. Models: Concepts, Theory, Logic, Reasoning and Semantics 2018: 242-263 - [c82]Silvia Bonfanti
, Angelo Gargantini
, Atif Mashkoor:
Generation of C++ Unit Tests from Abstract State Machines Specifications. ICST Workshops 2018: 185-193 - [c81]Angelo Gargantini
, Marco Radavelli
:
Migrating Combinatorial Interaction Test Modeling and Generation to the Web. ICST Workshops 2018: 308-317 - [c80]Matteo Camilli
, Carlo Bellettini
, Angelo Gargantini
, Patrizia Scandurra
:
Online Model-Based Testing under Uncertainty. ISSRE 2018: 36-46 - [c79]Silvia Bonfanti
, Angelo Gargantini
, Atif Mashkoor:
Generation of Behavior-Driven Development C++ Tests from Abstract State Machine Scenarios. MEDI Workshops 2018: 146-152 - [c78]Paolo Arcaini
, Angelo Gargantini
, Elvinia Riccobene
:
Interactive Testing and Repairing of Regular Expressions. ICTSS 2018: 1-16 - [c77]Silvia Bonfanti
, Angelo Gargantini
, Atif Mashkoor:
Validation of Transformation from Abstract State Machine Models to C++ Code. ICTSS 2018: 17-32 - [c76]Takashi Kitamura
, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Artho, Angelo Gargantini
:
Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving. SAFECOMP 2018: 123-138 - [c75]Paolo Arcaini
, Angelo Gargantini
, Marco Radavelli
:
An evolutionary process for product-driven updates of feature models. VaMoS 2018: 67-74 - 2017
- [j19]Paolo Arcaini
, Angelo Gargantini
, Elvinia Riccobene, Paolo Vavassori:
A novel use of equivalent mutants for static anomaly detection in software artifacts. Inf. Softw. Technol. 81: 52-64 (2017) - [j18]Paolo Arcaini
, Angelo Gargantini
, Elvinia Riccobene
:
Rigorous development process of a safety-critical system: from ASM models to Java code. Int. J. Softw. Tools Technol. Transf. 19(2): 247-269 (2017) - [c74]Paolo Arcaini
, Angelo Gargantini
, Elvinia Riccobene:
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions. ICST Workshops 2017: 87-96 - [c73]Angelo Gargantini
, Justyna Petke
, Marco Radavelli
:
Combinatorial Interaction Testing for Automated Constraint Repair. ICST Workshops 2017: 239-248 - [c72]Paolo Arcaini
, Angelo Gargantini
, Elvinia Riccobene:
NuSeen: A Tool Framework for the NuSMV Model Checker. ICST 2017: 476-483 - [c71]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
SMT for state-based formal methods: the ASM case study. AFM@NFM 2017: 1-18 - [c70]Matteo Camilli
, Angelo Gargantini
, Patrizia Scandurra
, Carlo Bellettini
:
Event-Based Runtime Verification of Temporal Properties Using Time Basic Petri Nets. NFM 2017: 115-130 - [c69]Silvia Bonfanti
, Marco Carissoni, Angelo Gargantini
, Atif Mashkoor
:
Asm2C++: A Tool for Code Generation from Abstract State Machines to Arduino. NFM 2017: 295-301 - [c68]Matteo Camilli
, Angelo Gargantini
, Patrizia Scandurra
, Carlo Bellettini
:
Towards Inverse Uncertainty Quantification in Software Development (Short Paper). SEFM 2017: 375-381 - [c67]Paolo Arcaini
, Angelo Gargantini
, Paolo Vavassori:
Automated Repairing of Variability Models. SPLC (A) 2017: 9-18 - 2016
- [c66]Paolo Arcaini
, Silvia Bonfanti
, Marcel Dausend, Angelo Gargantini, Atif Mashkoor
, Alexander Raschke, Elvinia Riccobene, Patrizia Scandurra
, Michael Stegmaier:
Unified Syntax for Abstract State Machines. ABZ 2016: 231-236 - [c65]Paolo Arcaini
, Silvia Bonfanti
, Angelo Gargantini, Elvinia Riccobene:
How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study. ABZ 2016: 344-359 - [c64]Angelo Gargantini, Rachel Tzoref-Brill:
Combinatorial Testing: From Algorithms to Applications. ICST Workshops 2016: 17-18 - [c63]Paolo Arcaini
, Angelo Gargantini
, Paolo Vavassori:
Automatic Detection and Removal of Conformance Faults in Feature Models. ICST 2016: 102-112 - [c62]Paolo Arcaini
, Angelo Gargantini, Elvinia Riccobene:
SMT-Based Automatic Proof of ASM Model Refinement. SEFM 2016: 253-269 - [c61]Angelo Gargantini, Justyna Petke
, Marco Radavelli
, Paolo Vavassori:
Validation of Constraints Among Configuration Parameters Using Search-Based Combinatorial Interaction Testing. SSBSE 2016: 49-63 - [c60]Paolo Arcaini
, Silvia Bonfanti
, Angelo Gargantini, Elvinia Riccobene:
Visual Notation and Patterns for Abstract State Machines. STAF Workshops 2016: 163-178 - 2015
- [j17]Paolo Arcaini
, Angelo Gargantini, Elvinia Riccobene
:
How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions. Comput. J. 58(11): 2900-2920 (2015) - [j16]Paolo Arcaini
, Angelo Gargantini, Elvinia Riccobene
:
Using mutation to assess fault detection capability of model review. Softw. Test. Verification Reliab. 25(5-7): 629-652 (2015) - [c59]Silvia Bonfanti
, Angelo Gargantini, Andrea Vitali
:
A Mobile Application for the Stereoacuity Test. HCI (17) 2015: 315-326 - [c58]Paolo Arcaini
, Angelo Gargantini, Elvinia Riccobene
, Paolo Vavassori:
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts. ICST Workshops 2015: 1-6 - [c57]Paolo Arcaini
, Angelo Gargantini, Paolo Vavassori:
Generating Tests for Detecting Faults in Feature Models. ICST 2015: 1-10 - [c56]Angelo Gargantini, Paolo Vavassori:
Using decision trees to aid algorithm selection in combinatorial interaction tests generation. ICST Workshops 2015: 1-10 - [c55]Matteo Camilli
, Angelo Gargantini, Patrizia Scandurra
:
Specifying and verifying real-time self-adaptive systems. ISSRE 2015: 303-313 - [c54]Paolo Arcaini
, Silvia Bonfanti
, Angelo Gargantini, Atif Mashkoor
, Elvinia Riccobene:
Formal validation and verification of a medical software critical component. MEMOCODE 2015: 80-89 - [c53]Angelo Gargantini, Fabio Terzi, Matteo Zambelli, Silvia Bonfanti
:
A Low-cost Virtual Reality Game for Amblyopia Rehabilitation. REHAB 2015: 81-84 - [c52]Silvia Bonfanti, Angelo Gargantini:
Amblyopia Rehabilitation by Games for Low-Cost Virtual Reality Visors. REHAB (Revised Selected Papers) 2015: 116-125 - [c51]Paolo Arcaini
, Angelo Gargantini, Elvinia Riccobene:
Improving model-based test generation by model decomposition. ESEC/SIGSOFT FSE 2015: 119-130 - 2014
- [j15]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Using SMT for dealing with nondeterminism in ASM-based runtime verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014) - [j14]Paolo Arcaini
, Angelo Gargantini
:
Test generation for sequential nets of Abstract State Machines with information passing. Sci. Comput. Program. 94: 93-108 (2014) - [c50]Paolo Arcaini
, Angelo Gargantini, Elvinia Riccobene
:
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study. ABZ (Case Study) 2014: 36-51 - [c49]Paolo Arcaini
, Angelo Gargantini, Elvinia Riccobene
:
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module. ABZ (Case Study) 2014: 95-109 - [c48]Giancarlo Facoetti, Angelo Gargantini, Andrea Vitali
:
An Environment for Domestic Supervised Amblyopia Treatment. HCI (20) 2014: 340-350 - [c47]Angelo Gargantini, Paolo Vavassori:
Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams. Haifa Verification Conference 2014: 220-235 - [c46]Paolo Arcaini
, Angelo Gargantini, Paolo Vavassori:
Validation of Models and Tests for Constrained Combinatorial Interaction Testing. ICST Workshops 2014: 98-107 - [c45]Angelo Gargantini, Giancarlo Facoetti, Andrea Vitali
:
A random dot stereoacuity test based on 3D technology. PervasiveHealth 2014: 358-361 - [c44]Angelo Gargantini, Giancarlo Facoetti, Andrea Vitali
:
Measuring Stereoacuity by 3D Technology. REHAB 2014: 155-167 - [c43]Paolo Arcaini
, Angelo Gargantini, Elvinia Riccobene
:
An Abstraction Technique for Testing Decomposable Systems by Model Checking. TAP@STAF 2014: 36-52 - 2013
- [j13]Gordon Fraser, Angelo Gargantini
:
Guest editor's introduction to the special section on tests and proofs. Softw. Qual. J. 21(1): 99-100 (2013) - [c42]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Online Testing of LTL Properties for Java Code. Haifa Verification Conference 2013: 95-111 - [c41]Paolo Arcaini
, Angelo Gargantini, Elvinia Riccobene
:
Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism. ICST Workshops 2013: 178-187 - [c40]Andrea Calvagna, Angelo Gargantini, Paolo Vavassori:
Combinatorial Testing for Feature Models Using CitLab. ICST Workshops 2013: 338-347 - [c39]Andrea Calvagna, Angelo Gargantini, Paolo Vavassori:
Combinatorial Interaction Testing with CITLAB. ICST 2013: 376-382 - [c38]Angelo Gargantini, Marco Guarnieri
, Eros Magri:
AURORA: AUtomatic RObustness coveRage Analysis Tool. ICST 2013: 463-470 - 2012
- [j12]Andrea Calvagna, Angelo Gargantini
:
T-wise combinatorial interaction test suites construction based on coverage inheritance. Softw. Test. Verification Reliab. 22(7): 507-526 (2012) - [c37]Paolo Arcaini
, Francesco Bolis, Angelo Gargantini
:
Test Generation for Sequential Nets of Abstract State Machines. ABZ 2012: 36-50 - [c36]Angelo Gargantini
, Paolo Vavassori:
CITLAB: A Laboratory for Combinatorial Interaction Testing. ICST 2012: 559-568 - [c35]Francesco Bolis, Angelo Gargantini, Marco Guarnieri
, Eros Magri, Lorenzo Musto:
Model-Driven Testing for Web Applications Using Abstract State Machines. ICWE Workshops 2012: 71-78 - [c34]Angelo Gargantini, Marco Guarnieri
, Eros Magri:
Extending Coverage Criteria by Evaluating Their Robustness to Code Structure Changes. ICTSS 2012: 168-183 - [c33]Francesco Bolis, Angelo Gargantini
, Marco Guarnieri
, Eros Magri:
Evolutionary Testing of PHP Web Applications with WETT. SSBSE 2012: 285-291 - 2011
- [j11]Angelo Gargantini
, Gordon Fraser:
Generating minimal fault detecting test suites for general Boolean specifications. Inf. Softw. Technol. 53(11): 1263-1273 (2011) - [j10]Paolo Arcaini
, Angelo Gargantini
, Elvinia Riccobene
:
A model advisor for NuSMV specifications. Innov. Syst. Softw. Eng. 7(2): 97-107 (2011) - [j9]Paolo Arcaini
, Angelo Gargantini
, Elvinia Riccobene
, Patrizia Scandurra
:
A model-driven process for engineering a toolset for a formal method. Softw. Pract. Exp. 41(2): 155-166 (2011) - [c32]Angelo Gargantini:
Using 3D Vision for the Diagnosis and Treatment of Amblyopia in Young Children. HEALTHINF 2011: 472-476 - [c31]Angelo Gargantini
:
Dealing with Constraints in Boolean Expression Testing. ICST Workshops 2011: 322-327 - [c30]Paolo Arcaini
, Angelo Gargantini
, Elvinia Riccobene
:
Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions. ASE 2011: 388-391 - [c29]Paolo Arcaini
, Angelo Gargantini
, Elvinia Riccobene
:
CoMA: Conformance Monitoring of Java Programs by Abstract State Machines. RV 2011: 223-238 - [i2]Angelo Gargantini:
Using Stereoscopic 3D Technologies for the Diagnosis and Treatment of Amblyopia in Children. CoRR abs/1109.6288 (2011) - 2010
- [j8]Andrea Calvagna, Angelo Gargantini
:
A Formal Logic Approach to Constrained Combinatorial Testing. J. Autom. Reason. 45(4): 331-358 (2010) - [c28]Paolo Arcaini
, Angelo Gargantini
, Elvinia Riccobene
:
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications. ASM 2010: 61-74 - [c27]Gordon Fraser, Angelo Gargantini
:
Generating Minimal Fault Detecting Test Suites for Boolean Expressions. ICST Workshops 2010: 37-45 - [c26]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Automatic Review of Abstract State Machines by Meta Property Verification. NASA Formal Methods 2010: 4-13 - [e2]Gordon Fraser, Angelo Gargantini:
Tests and Proofs - 4th International Conference, TAP@TOOLS 2010, Málaga, Spain, July 1-2, 2010. Proceedings. Lecture Notes in Computer Science 6143, Springer 2010, ISBN 978-3-642-13976-5 [contents]
2000 – 2009
- 2009
- [j7]Angelo Gargantini
, Elvinia Riccobene
, Patrizia Scandurra
:
A semantic framework for metamodel-based languages. Autom. Softw. Eng. 16(3-4): 415-454 (2009) - [j6]Gordon Fraser, Angelo Gargantini
, Franz Wotawa
:
On the order of test goals in specification-based testing. J. Log. Algebraic Methods Program. 78(6): 472-490 (2009) - [c25]Angelo Gargantini
, Elvinia Riccobene
, Patrizia Scandurra
:
Ten Reasons to Metamodel ASMs. Rigorous Methods for Software Construction and Analysis 2009: 33-49 - [c24]