Diagnosing assumption problems in safety-critical products | IEEE Conference Publication | IEEE Xplore