System Analysis and Modeling: Theory and Practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers - Øystein Haugen, Rick Reed, Reinhard Gotzhein ((Lecture Notes in Computer Science))