Text this: Quasi-Static Scheduling for Deterministic Timed Concurrent Models on Multi-Core Hardware.