FORMAL SOFTWARE INSPECTIONS: AN INDUSTRIAL APPLICATION OF FUNCTION TABLES AND EVENT-B TO SOFTWARE OF A WAYSIDE TRAIN MONITORING SYSTEM