Alizadeh Ara, H., A. Behrouzian, M. Geilen, M. Hendriks, D. Goswami, and T. Basten. 2017. “Analysis and Visualization of Execution Traces of Dataflow Applications.” In Proc. IDEA 2016: Integrating Dataflow, Embedded Computing, and Architecture. Report ESR-2017-01, 19–20. Eindhoven University of Technology, Dept. of Elec. Eng., the Netherlands.

Baccelli, F., G. Cohen, G. J. Olsder, and J.-P. Quadrat. 1992. Synchronization and Linearity: An Algebra for Discrete Event Systems. John Wiley & Sons Ltd.

Basten, T., J. Bastos, R. Medina, B. van der Sanden, M. C. W. Geilen, D. Goswami, M. A. Reniers, S. Stuijk, and J. P. M. Voeten. 2020. “Scenarios in the Design of Flexible Manufacturing Systems.” In System-Scenario-Based Design Principles and Applications, 181–224. Springer.

Bhattacharyya, S. S., E. F. Deprettere, R. Leupers, and J. Takala. 2018. Handbook of Signal Processing Systems. Springer.

Geilen, M. C. W., M. Skelin, J. R. van Kampenhout, H. Alizadeh Ara, T. Basten, S. Stuijk, and K. G. W. Goossens. 2020. “Scenarios in Dataflow Modeling and Analysis.” In System-Scenario-Based Design Principles and Applications, 145–80. Springer.

Goverde, R. M. P. 2007. “Railway Timetable Stability Analysis Using Max-Plus System Theory.” Transportation Research Part B: Methodological 41 (2): 179–201.

Heidergott, B., G. J. Olsder, and J. Van Der Woude. 2014. Max Plus at Work: Modeling and Analysis of Synchronized Systems: A Course on Max-Plus Algebra and Its Applications. Princeton University Press.

Lele, A., O. Moreira, and P. J. L. Cuijpers. 2012. “A New Data Flow Analysis Model for TDM.” In Proc. 10th ACM Int. Conf. On Embedded Software, EMSOFT 2012, 237–46. ACM.

Moreira, O. 2012. “Temporal Analysis and Scheduling of Hard Real-Time Radios Running on a Multi-Processor.” PhD thesis, Eindhoven University of Technology.

Schutter, B. De, and T. van den Boom. 2008. “Max-Plus Algebra and Max-Plus Linear Discrete Event Systems: An Introduction.” In Proc. 9th Int. Workshop on Discrete Event Systems, WODES’08, 36–42. Göteborg, Sweden.

Schutter, B. De, T. van den Boom, J. Xu, and S. S. Farahani. 2020. “Analysis and Control of Max-Plus Linear Discrete-Event Systems: An Introduction.” Discrete Event Dynamic Systems: Theory and Applications 30: 25–54. https://doi.org/10.1007/s10626-019-00294-w.