00838nas a2200289   4500000000100000000000100001008004100002100002200043700002400065700002500089700002500114700002300139700001700162700002100179700002100200700002600221700002000247700002100267700001900288700002600307700002200333700002900355700001700384700002300401700002300424245010100447       2024                            d1 aMiltiadis Siavvas1 aDimitrios Tsoukalas1 aCharalambos Marantos1 aLazaros Papadopoulos1 aChristos Lamprakos1 aOliviu Matei1 aChristos Strydis1 aMuhammad Siddiqi1 aPhilippe Chrobocinski1 aKatarzyna Filus1 aJoanna Domańska1 aParis Avgeriou1 aApostolos Ampatzoglou1 aDimitrios Soudris1 aAlexander Chatzigeorgiou1 aErol Gelenbe1 aDionysios Kehagias1 aDimitrios Tzovaras00aSDK4ED: a platform for building energy efficient, dependable, and maintainable embedded software