Comparing Extended Z with a Heterogeneous Notation for Reasoning about Time and Space - Research Database, The University of York Other