Asieh Salehi Fathabadi, Michael J. Butler, Sheng Yang, Luis Alfonso Maeda-Nunez, James R. B. Bantock, Bashir M. Al-Hashimi, Geoff V. Merrett. A model-based framework for software portability and verification in embedded power management systems. Journal of Systems Architecture, 82:12-23, 2018. [doi]
Abstract is missing.