Specification by Example in Zurich