Translation, Abstraction and Integration for Effective Smart System Design