The paper “Symbolic Model Checking for Real-Time Systems” by Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis and Sergio Yovine, published at LICS 1992 received the Test of Time Award http://processalgebra.blogspot.com.ar/2012/06/lics-test-of-time-awards-2012.html