System analysis and modeling: theory and practice 7th international workshop, SAM 2012, Innsbruck, Austria, October 1 - 2, 2012 ; revised selected papers (Springer, 2013)