Braulio Mello, Gabriel A. Wainer: Integrating I-DEVS and schedulability methods for analyzing real-time systems constraints. Simul. 98(12): 1143-1159 (2022)