Model-Based Requirements Engineering by Jon Holt & Lynda Holt