Jussi Lahtinen. Automatic Test Set Generation for Function Block Based Systems Using Model Checking. In 9th International Conference on the Quality of Information and Communications Technology, QUATIC 2014, Guimaraes, Portugal, September 23-26, 2014. pages 216-225, IEEE, 2014. [doi]
Abstract is missing.