Software engineering : a precise approach .-978-81-265-2311-5 (New Delhi Wiley India, 2010)