Howard Barringer Allen Goldberg Klaus Havelund Koushik Sen Program Monitoring with LTL in EAGLE. 2004 conf/ipps/2004 IPDPS http://csdl.computer.org/comp/proceedings/ipdps/2004/2132/17/2132170264babs.htm db/conf/ipps/ipdps2004-w16.html#BarringerGHS04