A library in CoCoA for implementing railway interlocking systems | Publicación