@inproceedings{inproceedings2f5a9106,
title   = {Extending the verification coverage for PLC control programs: a functional safety approach},
author = {Sarmento, Cleber Alves and Santos Filho, Diolino Jose dos and Miyagi, Paulo Eigi},
year = {2009},
publisher = {IEEE},
booktitle   = {Annual Conference of the IEEE Industrial Electronics Society}
}