Observational Equivalence Technique in Trusted Model. - Jie Yang 016; Deyu Qi 001; Yuren Zhou; Jinbin Zheng (SSME, 2009)