RoadSign at the SBFT 2023 Tool Competition Cyber-Physical Systems Track | Publicación