1. Alur, R., Courcoubetis, C., Henzinger, T. A., & Ho, P. H. (1993). Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In R. L. Grossman, A. Nerode, A. P. Ravn, & H. Rischel (Eds.), Hybrid systems, Lecture notes in computer science (pp. 209–229). Berlin: Springer.
2. Arenas, M., Ruiz-del Solar, J., Norambuena, S., & Cubillos, S. (2009). A robot referee for robot soccer. In L. Iocchi, H. Matsubara, A. Weitzenfeld, & C. Zhou (Eds.), RoboCup 2008:
Robot Soccer 10 1371 World Cup XII (pp. 426–438). Berlin: Springer.
3. Bruce, J., & Veloso, M. (2003). Fast and accurate vision-based pattern detection and identification. In Proceedings of the 2003 IEEE international conference on robotics and automation (Vol 1, pp. 1277–1282). IEEE.
4. Bruce, J., Balch, T., & Veloso, M. (2000). Fast and inexpensive color image segmentation for interactive robots. In Proceedings of the 2000 IEEE/RSJ conference on intelligent robots and systems (pp. 2061–2066). IEEE/RSJ.
5. Chen, M., Dorer, K., Foroughi, E., Heintz, F., Huang, Z., Kapetanakis, S., Kostiadis, K., Kummenje, J., Murray, J., Noda, I., Obst, O., Riley, P., Steffens, T., Wang, Y., & Yin, X. (2003). RoboCup soccer server users manual.
http://sourceforge.net/projects/sserver/files/rcssmanual/9-20030211/
.