Legacy software migration based on timing contract aware real-time execution environments. - Irune Yarza Perez (2020)