Model-based Safety Monitoring of Product Flow Paths. - Gustavo Quiros; Reiner Jorewitz; Ulrich Epple (Simul. Notes Eur., 2011)