Assessing and Improving the Suitability of Model-Based Design for GPU-Accelerated Railway Control Systems. - Alejandro J. Calderón; Leonidas Kosmidis; Carlos F. Nicolás; Javier de Lasala; Ion Larrañaga (ARCS, 2021)