Use case modeling - Kurt Bittner (Addison-Wesley, 2003)