Clara Benac Earle Lars-Åke Fredlund José Antonio Iglesias Agapito Ledezma Verifying Robocup Teams. 34-48 2008 MoChArt http://dx.doi.org/10.1007/978-3-642-00431-5_3 conf/mochart/2008 db/conf/mochart/mochart2008.html#EarleFIL08