Coloured petri nets to model geographical interlocking for railway. - S. Ingram; M. Alamgir Hossain; S. Cox (ICINCO, 2005)