LabVIEW-based Automatic Verification of Process-Oriented Software | IEEE Conference Publication | IEEE Xplore