Refinement of Complex Systems: A Case Study - Lowe, G; Zedan, H (Computer Journal, 1995)