Flexible design of complex high-integrity systems using trade offs | IEEE Conference Publication | IEEE Xplore