CoPS - Checker of Persistent Security. - Carla Piazza; Enrico Pivato; Sabina Rossi (TACAS, 2004)