Rethinking system-level development: striving for coherency, certitude, and realizability | IEEE Conference Publication | IEEE Xplore