Anand, M., Fischmeister, S., Lee, I., & Phan, L. T. X. (2012). State-based scheduling with tree schedules: analysis and evaluation. Real-Time Systems, 48, 430-462. https://doi.org/10.1007/s11241-012-9151-3