Other [Literature] References

• Railway Interlocking Home Page -- -- contains URL's to abstracts of several documents (PhD's, Papers, etc.).
  Edited by Jakob Lyng Petersen, Hans Rischel, Henrik Reif Andersen and Kirsten Mark Hansen. Computer Systems Section.
• Jakob Lyng Petersen Mathematical Methods for validating Railway Interlocking Systeme. PhD Thesis. 11 Feb. 1998. IT/DTU. 138 pages. Advisor: Hans Rischel et al.
• Jakob Lyng Petersen Automatic verification of Railway Interlocking Systems, A Case Study. To be presented at a March 1998 Conference in the US.
• Bo Grave : Modelling Railway Discrete Event System using Array-Based Logic. ``Sikringsanlæg til jernbanedrift ved arraybaseret logik.'' Dept. of Power Engineering, Technical University of Denmark
  Ph.D. Thesis. Thesis advisors: Ole Immanuel Franksen and Peter Falster