Tests and Proofs 5th International Conference, TAP 2011, Zurich, Switzerland, June 30 – July 1, 2011. Proceedings - Gogolla, Martin; Wolff, Burkhart (Springer Berlin Heidelberg : Imprint: Springer, 2011)