Use the Eclipse development tool Epsilon to produce a graphical tool to generate decomposed CSP||B formal models of railway interlocking systems.