The concept exploration stage of a dependable avionic system | IEEE Conference Publication | IEEE Xplore