Formalized three-layer system-level model and reuse methodology for embedded data-dominated applications | IEEE Journals & Magazine | IEEE Xplore