RIPN: A tool for implementing cyber-physical systems by using interpreted Petri Nets and teleo-reactive programs. - Pedro Sánchez; Diego Alonso; Fernando Terroso; Bárbara Álvarez (SoftwareX, 2025)