Verification of Multiple Models of a Safety-Critical Motor Controller in Railway Systems. - José Proença; Sina Borrami; Jorge Sanchez de Nova; David Pereira; Giann Spilere Nandi (RSSRail, 2022)

Challenges and Limitations of Utilizing Multi-core/Heterogeneous Logic Elements in the Railway Signaling Applications. - Sina Borrami; Jorge Sanchez de Nova; Xavier Gallois; Jonas Melchert; Martin Törngren (SAFECOMP (Workshops), 2024)