@inproceedings{KL06, author = "O. Kupferman and R. Lampert", title = "On the construction of fine automata for safety properties", booktitle = "4th International Symposium on Automated Technology for Verification and Analysis", series = "Lecture Notes in Computer Science", volume = "4218", pages = "110-124", publisher = "Springer-Verlag", year = 2006 }