Modana: An Integrated Framework for Modeling and Analysis of Energy-Aware CPSs | IEEE Conference Publication | IEEE Xplore