Observational Equivalence Technique in Trusted Model | IEEE Conference Publication | IEEE Xplore