Antonella Santone Gigliola Vaglini A local approach for temporal model checking of Java bytecode. 258-281 2005 70 J. Comput. Syst. Sci. 2 http://dx.doi.org/10.1016/j.jcss.2004.11.001 db/journals/jcss/jcss70.html#SantoneV05