1. Saifullah, A., et al.: Parallel real-time scheduling of DAGs. IEEE Trans. Parall. Distrib. Syst. 25(12), 3242–3252 (2014)
2. Chéramy, M., Hladik, P.-E., Déplanche, A.-M.: Simso: a simulation tool to evaluate real-time multiprocessor scheduling algorithms (2014)
3. Cho, S., et al.: Efficient real-time scheduling algorithms for multiprocessor systems. IEICE Trans. Commun. 85(12), 2859–2867 (2002)
4. Alur, R., Courcoubetis, C., Dill, D.: Model-checking for real-time systems. In: 1990 Proceedings Fifth Annual IEEE Symposium on Logic in Computer Science, IEEE (1990)
5. Krishna, C.M.: Real-Time Systems. Wiley Encyclopedia of Electrical and Electronics Engineering (2001)