M. Zhou, H. Wan, R. Wang, X. Song, C. Su, M. Gu, J. Sun. Formal component-based modeling and synthesis for PLC systems. Computers in Industry, 64(8):1022-1034, 2013. [doi]
@article{ZhouWWSSGS13,
title = {Formal component-based modeling and synthesis for PLC systems},
author = {M. Zhou and H. Wan and R. Wang and X. Song and C. Su and M. Gu and J. Sun},
year = {2013},
doi = {10.1016/j.compind.2013.07.003},
url = {http://dx.doi.org/10.1016/j.compind.2013.07.003},
researchr = {https://researchr.org/publication/ZhouWWSSGS13},
cites = {0},
citedby = {0},
journal = {Computers in Industry},
volume = {64},
number = {8},
pages = {1022-1034},
}