Supporting embedded system design capture, analysis and navigation | IEEE Conference Publication | IEEE Xplore