A Top-Down Constraint-Driven Methodology for Smart System Design | IEEE Journals & Magazine | IEEE Xplore