Litherland, Jack, Andrews, John, "A Petri net asset management framework for railway switches and crossings", Proceedings of the Institution of Mechanical Engineers, Part F: Journal of Rail and Rapid Transit, 2022