Andonov, P., Savchenko, A., Rumschinski, P., Trenner, T., Neidig, J., & Findeisen, R. (2020). Monitoring and verification of event-driven transportation systems in discrete manufacturing. Talk presented at 2020 IEEE Conference on Control Technology and Applications. Montréal, Canada (online). 2020-08-24 - 2020-08-26.