Model-Based Test Suite Generation for Function Block Diagrams Using the UPPAAL Model Checker | IEEE Conference Publication | IEEE Xplore