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