Guest editor's introduction: design tools for embedded systems | IEEE Journals & Magazine | IEEE Xplore