Thermal-Aware Verification and Monitoring of service providers in MetaMORP(H)OSY