System Analysis and Modeling: Theory and Practice : 7th International Workshop, SAM 2012, Innsbruck, Austria, October 1-2, 2012, Revised Selected Papers - Haugen, Oystein (Herausgeber); Reed, Rick (Herausgeber); Gotzhein, Reinhard (Herausgeber) (Programming and Software Engineering, 2013)