SDK4ED: a platform for building energy efficient, dependable, and maintainable embedded software. - Miltiadis G. Siavvas; Dimitrios Tsoukalas; Charalambos Marantos; Lazaros Papadopoulos; Christos P. Lamprakos; Oliviu Matei; Christos Strydis; Muhammad Ali Siddiqi; Philippe Chrobocinski; Katarzyna Filus; Joanna Domanska; Paris Avgeriou; et al. (Autom. Softw. Eng., 2024)