Birgit Vogel-Heuser, Jens Folmer, Georg Frey, Liu Liu, Holger Hermanns, Arnd Hartmanns. Modeling of Networked Automation Systems for simulation and model checking of time behavior. In International Multi-Conference on Systems, Signals & Devices, SSD 2012, Chemnitz, Germany, March 20-23, 2012. pages 1-5, IEEE, 2012. [doi]
Abstract is missing.