Ulrich Furbach Jan Murray Falk Schmidsberger Frieder Stolzenburg Model Checking Hybrid Multiagent Systems for the RoboCup. 262-269 2007 RoboCup http://dx.doi.org/10.1007/978-3-540-68847-1_24 conf/robocup/2007 db/conf/robocup/robocup2007.html#FurbachMSS07