Ssad-System Software Analysis and Design - Mehta, Subhash; Bangia Ramesh (Delhi Wheeler Publications, 1999)