MOS: An integrated model-based and search-based testing tool for Function Block Diagrams | IEEE Conference Publication | IEEE Xplore