00825nas a2200277   4500000000100000008004100001100002200042700002400064700002500088700002500113700002300138700001700161700002100178700002100199700002600220700002000246700002100266700001900287700002600306700002200332700002900354700001700383700002300400700002300423245010100446       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