Verification of Recovered Software Architectures. - Gerald C. Gannod; Shilpa Murthy (IWPC, 2003)