© Katz, 2004CS236368 Formal SpecificationsLecture -- Z telephones 1 The Story Thus Far We have seen a brief intro to Z Main features >use of schemas to.