Fair SMG and linear time model checking - Barringer, Howard; Fisher, Michael 1962-; Gough, Graham D. (Technical report series / University of Manchester, Department of Computer Science., 1989)