@inproceedings(electrumactions,
 author       = {Julien Brunel and David Chemouil and Alcino Cunha and Thomas Hujsa and Nuno Macedo and Jeanne Tawa},
 year         = {2018},
 title        = {Proposition of an Action Layer for {Electrum}},
 booktitle    = {Proceedings of the 6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ)},
 series       = {LNCS},
 volume       = {10817},
 publisher    = {Springer},
 pages        = {397--402},
 doi          = {10.1007/978-3-319-91271-4_30},
)
@inproceedings(electrumanalyzer,
 author       = {Julien Brunel and David Chemouil and Alcino Cunha and Nuno Macedo},
 year         = {2018},
 title        = {The {Electrum} {Analyzer}: Model checking relational first-order temporal specifications},
 booktitle    = {Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering (ASE)},
 publisher    = {ACM},
 pages        = {884--887},
 doi          = {10.1145/3238147.3240475},
)
@inproceedings(simulink,
 author       = {Kalou Cabrera Castillos and H\IeC{\'e}l\IeC{\`e}ne Waeselynck and Virginie Wiels},
 year         = {2015},
 title        = {Show Me New Counterexamples: A Path-Based Approach},
 booktitle    = {Proceedings of the 8th International Conference on Software Testing, Verification and Validation (ICST)},
 publisher    = {IEEE},
 pages        = {1--10},
 doi          = {10.1109/ICST.2015.7102606},
)
@inproceedings(stateevent,
 author       = {Sagar Chaki and Edmund M. Clarke and Jo\IeC{\"e}l Ouaknine and Natasha Sharygina and Nishant Sinha},
 year         = {2004},
 title        = {State/Event-Based Software Model Checking},
 booktitle    = {Proceedings of the 4th International Conference on Integrated Formal Methods (iFM)},
 series       = {LNCS},
 volume       = {2999},
 publisher    = {Springer},
 pages        = {128--147},
 doi          = {10.1007/978-3-540-24756-2_8},
)
@article(marsha,
 author       = {Marsha Chechik and Arie Gurfinkel},
 year         = {2007},
 title        = {A framework for counterexample generation and exploration},
 journal      = {International Journal on Software Tools for Technology Transfer},
 volume       = {9},
 number       = {5--6},
 pages        = {429--445},
 doi          = {10.1007/978-3-540-31984-9_17},
)
@techreport(efsm,
 author       = {Alma L. Juarez Dominguez and Nancy A. Day},
 year         = {2013},
 title        = {Generating multiple diverse counterexamples for an {EFSM}},
 type         = {Technical Report},
 number       = {CS-2013-06},
 institution  = {University of Waterloo},
)
@book(alloy,
 author       = {Daniel Jackson},
 year         = {2012},
 title        = {Software Abstractions: Logic, Language, and Analysis},
 edition      = {2nd},
 publisher    = {MIT},
)
@inproceedings(electrum,
 author       = {Nuno Macedo and Julien Brunel and David Chemouil and Alcino Cunha and Denis Kuperberg},
 year         = {2016},
 title        = {Lightweight specification and analysis of dynamic systems with rich configurations},
 booktitle    = {Proceedings of 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE)},
 publisher    = {ACM},
 pages        = {373--383},
 doi          = {10.1145/2950290.2950318},
)
@inproceedings(scenarioexploration,
 author       = {Nuno Macedo and Alcino Cunha and Guimar\IeC{\~a}es, Tiago},
 year         = {2015},
 title        = {Exploring Scenario Exploration},
 booktitle    = {Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering (FASE)},
 series       = {LNCS},
 volume       = {9033},
 publisher    = {Springer},
 pages        = {301--315},
 doi          = {10.1007/978-3-662-46675-9_20},
)