System design for enhanced forward-engineering possibilities of safety critical embedded systems | IEEE Conference Publication | IEEE Xplore