The paper 'Techniques and Analysis for Mixed-criticality Scheduling with Mode-dependent Server Execution Budgets' was accepted for IEEE/ACM EMSOFT 2019