Formal Approach to Railway Applications - Formal Methods and Hybrid Real-Time Systems - page 518

89. Lecomte, T.: Dwarf Signal Formalisation in B. In: Lecomte, T., Larsen, P.G. (eds.)
FME, Rail Workshop #, 5, FME, Rail Workshop; Toulouse, France. FME: Formal
Methods Europe, Steria, France, vol. # 5 (September 22-24, 1999)
90. Lindegaard, M.P., Viuf, P., Haxthausen, A.: Modelling Railway Interlocking Sys-
tems. In: Proceedings of the 9th IFAC Symposium on Control in Transportation
Systems 2000, June 13-15, 2000, Braunschweig, Germany, pp. 211-217 (2000)
91. Liu, J.N.K., Sin, K.Y.: Fuzzy neural networks for machine maintenance in mass
transit railway systems. IEEE Transactions on Neural Networks 8(4), 932-941
(1997)
92. Malavassi, G., Ricci, S.: Petri Nets in the Railway Signalling Model. In: Lecomte,
T., Larsen, P.G. (eds.) FME, Rail Workshop #, 5, FME, Rail Workshop; Toulouse,
France. FME: Formal Methods Europe, Steria, France, vol. # 5 (September 22-24,
1999)
93. Meertens, J.: Verifying the safety guaranteeing system at railway station Heer-
hugowaard. Master's thesis, Utrecht University, Department of Philosophy, Fac-
ulteit Wijsbegeerte (August 1996)
94. Morley, M.J.: Safety in railway signaling data: A behavioural analysis. In: Joyce,
J.J., Seger, C.-J.H. (eds.) HUG 1993. LNCS, vol. 780, pp. 465-476. Springer,
Heidelberg (1994)
95. Montigel, M.: Formal representation of track topologies by double vertex graphs.
In: Proceedings of Railcomp 92 held in Washington DC, Computers in Railways
3. Technology. Computational Mechanics Publications, vol. 2 (1992)
96. Montigel, M.: Formal Methods in Computer-based Safety Systems: Design of a
Control Process for an Alcatel-like Dwarf Signal. In: Montigel, M. (ed.) FME,
Rail Workshop # 3, FME, Rail Workshop; St. Polten. FME: Formal Methods
Europe, vol. # 3 (February 17-19, 1999)
97. Montigel, M.: Specification of the Control Process for a Dwarf Signal. In: Lecomte,
T., Larsen, P.G. (eds.) FME Rail Workshop # 5, FME Rail Workshop; Toulouse,
France. FME: Formal Methods Europe, vol. # 5 (September 22-24, 1999), also
See fmews3:p4
98. Morley, M.J.: Modelling British Rail's Interlocking Logic: Geographic Data Cor-
rectness. Technical Report ECS-LFCS-91-186, University of Edinburgh (1991)
99. Mortimer, R.G.: Visual factors in rail-highway grade crossing accidents. In: Pro-
ceedings of the Human Factors Society 35th Annual Meeting, Forensics Profes-
sional: Real-World Problems and Practices in Forensics, vol. 1, pp. 600-602 (1991)
100. Mortimer, R.G.: Oh! say, can you hear that train coming to the crossing. In:
Proceedings of the Human Factors and Ergonomics Society 38th Annual Meeting,
SAFETY: Safety Potpourri II [Lecture], vol. 2, pp. 898-902 (1994)
101. Murphy, K., Ralston, E., Friedlander, D., Swab, R., Steege, P.: The scheduling
of rail at Union Pacific Railroad. In: Proceedings of the 14th National Confer-
ence on Artificial Intelligence and 9th Innovative Applications of Artificial Intelli-
gence Conference (AAAI-97/IAAI-97), Menlo Park, July 27-31, 1997, pp. 903-912.
AAAI Press, Stanford (1997)
102. Nievergelt, J.: Thoughts on Trac Scheduling and Time Table Design. Technical
Report dyl/9/2, Swiss Federal Technical University, Zurich, Informatik, ETH,
CH-8092 Zurich, Switzerland (January 1994)
103. Parthasarathy, S.: An Informal Definiton of the Scheduling Problem in PRaCoSy.
Technical Report par/5/1, UNU/IIST, the UN University's International Insti-
tute for Software Technology, P.O. Box 3058, Macau (October 1993), E-Mail:
[e-mail]