Please cite “Model-Based Testing for System-Level Safety of Autonomous Underwater Robots” as:

BibTeX
@inproceedings{quijano2022model,
title={Model-Based Testing for System-Level Safety of Autonomous Underwater Robots},
author={Quijano, Sergio and Varshosaz, Mahsa},
booktitle={2022 IEEE Conference on Software Testing, Verification and Validation (ICST)},
pages={486–488},
year={2022},
organization={IEEE}
}