Decision making in railway interlocking systems based on calculating the remainder of dividing a polynomial by a set of polynomials | Publicación