A hybrid system approach for space station risk analysis. (1st January 2002)