Expanding design space for complex embedded systems with HLD-methodology | IEEE Conference Publication | IEEE Xplore