Planning Year 2000 transformations using standard tools: an experience report | IEEE Conference Publication | IEEE Xplore