Solving the RoboSoccer Challenge Problem with UML-RT and Papyrus-RT | IEEE Conference Publication | IEEE Xplore