Modeling Software Behavior by Paul C. Jorgensen