Integrated approach based on High Level Petri Nets for evaluating Networked Control Systems | IEEE Conference Publication | IEEE Xplore