@inproceedings{inproceedingse835ecf2,
title   = {Revising specifications with CTL properties using bounded model checking},
author = {Finger, Marcelo and Wassermann, Renata},
year = {2008},
doi = {10.1007/978-3-540-88190-2_21},
publisher = {Springer},
booktitle   = {Brazilian Symposium on Artificial Intelligence - SBIA}
}