High-level modeling and synthesis of smart sensor networks for Industrial Internet of Things. (July 2017)