K. Winter. Model Checking Railway Interlocking Systems. In Michael J. Oudshoorn, editor, Computer Science 2002, Twenty-Fifth Australasian Computer Science Conference (ACSC2002), Monash University, Melbourne, Victoria, January/February 2002. Volume 4 of CRPIT, pages 303-310, Australian Computer Society, 2002. [doi]
Abstract is missing.