Languages for Digital Embedded Systems [Book Review] | IEEE Journals & Magazine | IEEE Xplore