Text this: Description of route dependencies for computer-based railway signalling systems