Extending EAST-ADL towards formal modeling and analysis of energy-aware real-time systems | IEEE Conference Publication | IEEE Xplore