Liu, X., Yang, H., & Zedan, H. (1997, August). Formal methods for the re-engineering of computing systems