Majid Babaei, Karim Jahed, Juergen Dingel: Solving the RoboSoccer Challenge Problem with UML-RT and Papyrus-RT. MoDELS (Companion) 2019: 221-227