Gilmore, Stephen and Tribastone, Mirco and Vandin, Andrea An analysis pathway for the quantitative evaluation of public transport systems. In: Integrated Formal Methods. Lecture Notes in Computer Science . Springer, pp. 71-86. ISBN 978-3-319-10181-1 (2014)