The experience of auditing software for safety critical railway signalling equipment. - Tapan Kumar Ghoshal; S. Bhattacharya; K. Datta (HASE, 2000)