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