Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report.