A framework for specification and design of software for advanced sensor systems | IEEE Conference Publication | IEEE Xplore