A meta-model based environment for GRAFCET specifications. - Robert Julius; Thomas Trenner; Alexander Fay; Jörg Neidig; Xuan Luu Hoang (SysCon, 2019)

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