SSAD: System software analysis and design - Mehta, Subhash (Allahabad, 1998)