Modeling and verifying behavioral constraints for automation systems

Benjamin Brandenbourger, Milan Vathoopan and Alois Zoitl

Industrial Informatics (INDIN), 2017 IEEE 15th International Conference on, pp. 345–350

2017