On the Extension of Single-core Thermal Models to Multi-core Platforms in Critical Real-Time Domains