selected publications academic article Legacy software migration based on timing contract aware real-time execution environments. Journal of Systems and Software. 172:110849-110849. 2021