Migration to object oriented platforms: a state transformation approach | IEEE Conference Publication | IEEE Xplore