@misc{miscce04c1b8,
title   = {Revising system specifications in temporal logic},
author = {Guerra, Paulo T and Wassermann, Renata},
year = {2022},
doi = {10.1007/s10849-022-09376-9},
booktitle   = {Workshop on Logic, Language, Information and Computation - WoLLIC}
}