FUNCTIONAL SIMULATION OF FAULT TOLERANCE USING PATH PASCAL.