Reengineering of distributed systems using formal methods | IEEE Conference Publication | IEEE Xplore