Máté Tejfel Zoltán Horváth Tamás Kozsik Temporal Properties of Clean Programs Proven in Sparkle-T. 168-190 2005 conf/cefp/2005 CEFP http://dx.doi.org/10.1007/11894100_6 db/conf/cefp/cefp2005.html#TejfelHK05