%0 Journal Article
%B Automated Software Engineering
%D 2024
%G eng
%R 10.1007/s10515-024-00450-z
%T SDK4ED: a platform for building energy efficient, dependable, and maintainable embedded software