Modana: An Integrated Framework for Modeling and Analysis of Energy-Aware CPSs