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

41. Cullyer, J., Wai, W.: Application of formal methods to railway signalling - a case
study. Computing & Control Engineering Journal 4(1), 15-22 (1993)
42. Cullyer, W.J., Wai, W.: A formal approach to railway signalling. In: Compass
'90: 5th Annual Conference on Computer Assurance, Gaithersburg, Maryland,
pp. 102-108. National Institute of Standards and Technology (1990)
43. Cullyer, W.J., Wise, J.W.: Application of formal methods to railway signalling.
In: SARSS'89: Reliability on the Move, p. 11 (1989)
44. Damm, W., Klose, J.: Verification of a Radio-based Signaling System Using the
Statemate Verification Environment. Formal Methods in System Design 19(2)
(2001)
45. Danhua, J.: A First Mathematical Model of Train Time Tabling. Technical Report
jdh/math/03, UNU/IIST, the UN University's International Institute for Software
Technology, P.O.Box 3058, Macau (August 1994), E-Mail: [e-mail]
46. Danhua, J.: Running Map Display Transformation. Technical Report
jdh/trans/02, UNU/IIST, the UN University's International Institute for Software
Technology, P.O.Box 3058, Macau, (April 1994), E-Mail: [e-mail]
47. Danhua, J.: Second Math. Model of Train Time Tabling. Technical Re-
port jdh/math/05, UNU/IIST, the UN University's International Institute
for Software Technology, P.O.Box 3058, Macau (October 1994), E-Mail:

[e-mail]
48. Dierks, H., Dietz, C.: Graphical specification and reasoning: Case study gener-
alised railroad crossing. In: Fitzgerald, J., Jones, C.B., Lucas, P. (eds.) FME
1997. LNCS, vol. 1313, pp. 20-39. Springer, Heidelberg (1997)
49. Dipoppa, G., Bove, R.: Modelling a Railway Application in a Geographical and
Textual Integrated Fashion. In: FME Rail Workshop 2, Via Anguillarese, 301
S.Maria di Galeria, I-00060 Roma, Italy, ENEA C.R.-CASACCIA (1998)
50. Dong, Y., Bjørner, D., Prehn, S.: Domain Analysis: A Case Study of Railway Sta-
tion Management. Technical Report db/03/01, UNU/IIST, the UN University's
International Institute for Software Technology, P.O. Box 3058, Macau; (Novem-
ber 12, 1994), E-Mail: [e-mail]
51. Doppelbauer, J.: Safety Considerations on Railway Signalling Systems — is there
a Future for Formal Methods. In: Lecomte, T., Larsen, P.G. (eds.) FME Rail
Workshop 5, FME Rail Workshop; Toulouse, France. FME: Formal Methods Eu-
rope, Steria, France, vol. 5 (September 22-24, 1999)
52. Durr, E., Plat, N., de Boer, M.: CombiCom: Tracking and Tracing Rail Trac
using VDM++. In: Hinchey, M.G., Bowen, J.P. (eds.) Applications of Formal
Methods, pp. 203-225. Prentice-Hall International, Englewood Cliffs (1995)
53. Eriksson, L.H.: Specifying railway interlocking requirements for practical use. In:
Schoitsch, E. (ed.) SAFECOMP'96: 15th International Conference on Computer
Safety, Reliability and Security, Vienna, Austria, p. 243. Springer, Heidelberg
(1996)
54. Eriksson, L.H.: Formal Verification of Railway Interlockings. Technical Report
1997:4, Swedish National Rail Administration, Banverket HK, S-781 85 Borlange,
Sweden (December 1, 1997)
55. Eriksson, L.H.: Formalising Railway Interlocking Requirements. Technical Report
1997:3, Swedish National Rail Administration, Banverket HK, S-781 85 Borlange,
Sweden (December 1, 1997)
56. Eriksson, L.H.: Some Technical Aspects of an Interlocking Specification language.
In: Bjørner, D., Fahlen, M. (eds.) FME, Rail Workshop, 4, FME, Rail Workshop;
Stockholm, Sweden. FME: Formal Methods Europe, Banverket, Falun, Sweden,
vol. 4 (May 12-14, 1999)