Industrialising a proof-based verification approach of computerised interlocking systems