Translation, Abstraction and Integration for Effective Smart System Design | IEEE Journals & Magazine | IEEE Xplore