www.prismmodelchecker.org
[BCG14] Ludovica Luisa Vissat, Allan Clark and Stephen Gilmore. Finding optimal timetables for Edinburgh bus routes. In Proc. 7th International Workshop on Practical Applications of Stochastic Modelling (PASM'14). 2014. [Uses various techniques and tools, including PRISM, to analyse and optimise bus reliability.]
Links: [Google] [Google Scholar]

Publications