Model Checking Object-Z Classes: Some Experiments with FDR. - Geoff Kassel; Graeme Smith 001 (APSEC, 2001)