Resource-Efficient Scheduling Of Multiprocessor Mixed-Criticality Real-Time Systems