A systematic approach to exploring embedded system architectures at multiple abstraction levels | IEEE Journals & Magazine | IEEE Xplore