Automatic transition between structural system views in a safety relevant embedded systems development process | IEEE Conference Publication | IEEE Xplore