A Model Checkable UML Soccer Player | IEEE Conference Publication | IEEE Xplore