Real-time energy efficient embedded system development methodology | IEEE Conference Publication | IEEE Xplore