Automatic Test Set Generation for Function Block Based Systems Using Model Checking | IEEE Conference Publication | IEEE Xplore