Margaret DeLap Björn Knutsson Honghui Lu Oleg Sokolsky Usa Sammapun Insup Lee Christos Tsarouchis Is runtime verification applicable to cheat detection? 134-138 2004 conf/netgames/2004 NETGAMES http://doi.acm.org/10.1145/1016540.1016553 db/conf/netgames/netgames2004.html#DeLapKLSSLT04