Proceedings of the 2012 Extreme Modeling Workshop - Di Ruscio, Davide. (ACM,)