A Layered Methodology for the Simulation of Extra-Functional Properties in Smart Systems | IEEE Journals & Magazine | IEEE Xplore