Modeling software behavior : a craftsman's approach - Jorgensen, Paul (CRC Press, 2009)