Pettorossi, Alberto and Proietti, Maurizio and Senni, Valerio Transformational Verification of Linear Temporal Logic. In: CILC09, 24-esimo Convegno Italiano di Logica Computazionale, 24-26 Giugno 2009, Università di Ferrara, Italy pp. 1-17. (Submitted) (2009)