Monitoring and verification of event-driven transportation systems in discrete manufacturing. - Andonov, Petar; Savchenko, Anton; Rumschinski, Philipp; Trenner, Thomas; Neidig, Jörg; Findeisen, Rolf (2020)