Synchronous-Reactive Semantic Modeling and Verification for Function Block Networks | IEEE Journals & Magazine | IEEE Xplore