Modeling of Networked Automation Systems for simulation and model checking of time behavior | IEEE Conference Publication | IEEE Xplore