Springer Journal on Design Automation for Embedded Systems - Soteriou, Vassos (My University, 2026)