Modeling Software Behavior door Paul C. Jorgensen