A computer algebra approach to the design of routes and the study of their compatibility in a railway interlocking | Publicación