Liu, Xiaodong, Yang, Hongji, Zedan, Hussein, "Formal methods for the re-engineering of computing systems.", , 1997