@INPROCEEDINGS{2023-delgado-am-w,

  author={Delgado, David and Burgueño, Lola and Cámara, Javier and Troya, Javier},

  booktitle={2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)}, 

  title={Towards an Extensible Architecture and Tool Support for Model-Based Verification}, 

  year={2023},

  volume={},

  number={},

  pages={806-810},

  keywords={Analytical models;Urban areas;Prototypes;Metals;Computer architecture;Software;Model driven engineering;Model-based software engineering;verification;web-based modeling tool;structural analysis;domain models;Alloy},

  doi={10.1109/MODELS-C59198.2023.00129}}