Tobias Schüle Klaus Schneider Global vs. Local Model Checking: A Comparison of Verification Techniques for Infinite State Systems. 67-76 2004 conf/sefm/2004 SEFM http://doi.ieeecomputersociety.org/10.1109/SEFM.2004.23 db/conf/sefm/sefm2004.html#SchuleS04