Can avionic testability requirements be enforced? | IEEE Conference Publication | IEEE Xplore