Please cite “A Formal Model of Metacontrol in Maude” as:

BibTeX
@inproceedings{passler2022formal,
title={A formal model of metacontrol in maude},
author={P{\”a}{\ss}ler, Juliane and Aguado, Esther and Silva, Gustavo Rezende and Tarifa, Silvia Lizeth Tapia and Corbato, Carlos Hern{\’a}ndez and Johnsen, Einar Broch},
booktitle={Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22–30, 2022, Proceedings, Part I},
pages={575–596},
year={2022},
organization={Springer}
}