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

23. Bjørner, D., Yulin, D.: Railway System Characteristic. Technical Report dyl/3/1,
UNU/IIST, the UN University's International Institute for Software Technology,
P.O.Box 3058, Macau (August 1993), E-Mail: [e-mail]
24. Bohn, J., Damm, W., Klose, J., Moik, A., Wittke, H.: Modeling and Validating
Train System Applications Using Statemate and Live Sequence Chats. In: Ehrig,
H., Kramer, B.J., Ertas, A. (eds.) Proceedings of IDPT2002 - Integrated Design
and Process Technology, Society for Design and Process Science (2002)
25. Bol, R.N., Koorn, J.W.C., Oei, L.H., van Vlijmen, S.F.M.: Syntax and Static
Semantics of the Interlocking Design and Application Language. Technical Report
P9422, Programming Research Group, University of Amsterdam, Kruislaan 403,
1098 SJ Amsterdam, The Netherlands (November 1994)
26. Braad, J., Mogensen, K.S., Bjørner, D.: The Automatic Railway Case Based on
[57]. In: Bjørner, D., Fahl´en,M.(eds.)FMERailWorkshop#4.FMERailWork-
shop; Stockholm, Sweden, vol. # 4, FME: Formal Methods Europe, Banverket,
Falun, Sweden (May 12-14, 1999)
27. Brand, R.A.: 3-D colour graphics for rail network simulation and control. In: First
Australasian Conf. on Computer Graphics, pp. 38-48 (1983)
28. Brandes, U., Wagner, D.: Using Graph Layout to Visualize Train Interconnection
Data. Research report, konstanz (1999)
29. Bud, A., Nicholson, A., Chandra, B.: Scheduling trains with genetic algorithms.
Technical Report 96/250, Dept. Computer Science, Monash University, Australia
3168 (October 1996)
30. Bussieck, M.R., Kreuzer, P., Zimmermann, U.T.: Optimal lines for railway sys-
tems. Technical Report TR-95-01, MOTUBS (1995)
31. Canver, E., Gayen, J.T., Moik, A.: Formal specification of the controller software
on railway switch example. Automatiserungs Praxis (1997)
32. Ceglowski, L., Lewinski, A.: Highly reliable microcomputer systems for railway
control. In: SARSS'87: Achieving Safety and Reliability with Computer Systems,
p. 182 (1987)
33. Chao, M.: PRaCoSy: Data Structures for Train Journeys. Technical Report
mc/dstr1/1, UNU/IIST, the UN University's International Institute for Software
Technology, P.O.Box 3058, Macau (May 1994), E-Mail: [e-mail]
34. Chaochen, Z., Huiqun, Y.: A duration Model for Railway scheduling. Technical
Report 24b, UNU/IIST, P.O.Box 3058, Macau (May 1994)
35. Chow, T.W.S., Shuai, O.: Feedforward neural networks based input-output models
for railway carriage system identification. Neural Processing Letters 5(2), 57-67
(1997)
36. Cichocki, T., Gorksi, J.: Safety Assessment of Computerised Railway Signalling
supported by Formal Methods. In: Lecomte, T., Larsen, P.G. (eds.) FME Rail
Workshop # 5. FME, Rail Workshop; Toulouse, France, vol. # 5, FME: Formal
Methods Europe, Steria, France (September 22-24, 1999)
37. Claessens, M.T., van Dijk, N.M.: A mathematical programming model to deter-
mine a set of operation lines at minimal costs. Technical report, University of
Amsterdam (1994)
38. Crainic, T.G., Roy, J.: OR tools for tactical freight transportation planning. EU-
JOR 33, 290-297 (1988)
39. Cribbens, A.H.: Solid Sate Interlocking (SSI): An integrated electronic signalling
system for mainline railways. IEE Proceedings 134(3), 148-158 (1987)
40. Cullyer, J., Fairclough, J.: Safety critical systems - when computers might kill.
Information Technology & Public Policy 11(1), 14-19 (1992)