The design and commissioning of the MICE upstream time-of-flight system | Publicación