Model checking : approaches to the state explosion problem - Černá, Ivana, 1963- (2002)