Scanning the issue - Special issue on modeling and design of embedded software | IEEE Journals & Magazine | IEEE Xplore