Vogel-Heuser, B.; Frey, G.; Hermanns, H.; Folmer, J.; Liu, L.; Hartmanns, A.:Modeling of Networked Automation Systems for Simulation and Model Checking of Time Behavior. Proceedings of the 9th IEEE International Multi-Conference on Systems, Signals & Devices - Conference on Systems, Analysis & Automatic Control (IEEE SSD-SAC 2012), ISBN 978-1-4673-1590-6, 5p, Chemnitz, Germany, Mar. 2012. <DOI: 10.1109/SSD.2012.6197943>