On the use of observation equivalence in synthesis abstraction | IEEE Conference Publication | IEEE Xplore