Bibliography

W. S. Adolph, “Cash cow in the tar pit: Reengineering a legacy system,” IEEE Software, vol. 13, no. 3, pp. 41–47, May 1996. [Online]. Available: http://doi.org/bn6

D. L. Field and N. P. Agnew, “London Underground’s ticketing, past, present and future,” in International Conference on Public Transport Electronic Systems, 1996, pp. 77–80. [Online]. Available: http://doi.org/bsc

B. Aldred, “London Underground platform to train CCTV studies,” in Advances in Railway Communication Systems. Digest of Papers (Ref. No. 1997/401), IEE, Dec. 1997, pp. 4/1–4/12. [Online]. Available: http://doi.org/bsf

J. Anderson, Electric Locking. New York: Simmons-Boardman Publishing Company, 1918. [Online]. Available: http://books.google.com/books?id=QozVAAAAMAAJ

N. A. Brumberger, B. C. Auxer, and D. L. Rush, “Sequential occupancy release control method and apparatus for train vehicles,” US Patent 3 963 201, Jun. 15, 1976. [Online]. Available: http://www.google.com/patents?id=C8MwAAAAEBAJ

C. R. Hayward and A. B. K. Bachoo, “Health monitoring on ground-based transit systems,” in International Conference on Public Transport Electronic Systems, 1996, pp. 35–39. [Online]. Available: http://doi.org/bq4

G. Davis and A. Baker, “The ergonomics design of the new Jubilee Line Service Control Centre,” in IEE Colloquium on Control Rooms, Cockpits and Command Centres, 1996, pp. 6/1–6/4. [Online]. Available: http://doi.org/bsd

R. C. Baker, “An intermediate capacity transit system for Toronto,” Transportation Planning and Technology, vol. 2, no. 2, pp. 85–92, 1973. [Online]. Available: http://doi.org/bn7

P. Balant, M. Borup, and A. Ogunsola, “Achieving TBTC—95 Tube Stock system compatibility,” in The Institution of Engineering and Technology Seminar on EMC in Railways, May 2006, pp. 61–69. [Online]. Available: http://ieeexplore.ieee.org/search/freesrchabstract.jsp?tp=&arnumber=4125971

S. Balogh and R. Smith, “London Transport’s Countdown system - a leader in the bus transport revolution,” in IEE Colloquium on Public Transport Information and Management Systems, May 1993, pp. 7/1–7/3. [Online]. Available: http://ieeexplore.ieee.org/search/srchabstract.jsp?tp=&arnumber=274472

F. F. Beady and P. J. N. Bartlett, “New generation signalling control centre,” in International Conference on Main Line Railway Electrification, 1989, pp. 317–321. [Online]. Available: http://ieeexplore.ieee.org/search/freesrchabstract.jsp?tp=&arnumber=51894

P. Bassett and G. Moens, “Eurostar and the myriad of signalling systems application on CTRL: Driver interface with these systems.”

F. F. Beady and P. J. N. Bartlett, “New generation signalling control centre,” in International Conference on Main Line Railway Electrification, 1989, pp. 317–321. [Online]. Available: http://ieeexplore.ieee.org/search/freesrchabstract.jsp?tp=&arnumber=51894

M. Drolet and D. Beckley, “Control centres human machine factor aspects,” in International Conference on Developments in Mass Transit Systems, Apr. 1998, pp. 146–154. [Online]. Available: http://doi.org/bsg

P. Behm, P. Benoit, A. Faivre, and J.-M. Meynadier, “Météor: A successful application of B in a large project,” in FM’99 — Formal Methods, ser. Lecture Notes in Computer Science, J. Wing, J. Woodcock, and J. Davies, Eds. Springer Berlin / Heidelberg, 1999, vol. 1708, pp. 369–387. [Online]. Available: http://doi.org/bns

P. Behm, P. Benoit, A. Faivre, and J.-M. Meynadier, “Météor: A successful application of B in a large project,” in FM’99 — Formal Methods, ser. Lecture Notes in Computer Science, J. Wing, J. Woodcock, and J. Davies, Eds. Springer Berlin / Heidelberg, 1999, vol. 1708, pp. 369–387. [Online]. Available: http://doi.org/bns

M. Berinzon, “Development of a transportation data processing system for Metropolitan Toronto,” in Proceedings of the IEEE-IEE Vehicle Navigation and Information Systems Conference, 1993, pp. 186–190. [Online]. Available: http://doi.org/bqk

F. D. Catton and L. G. Berney, “Toronto Transit Commision communications and information system evaluation of operational tests,” in 30th IEEE Vehicular Technology Conference, 1980, pp. 352–356. [Online]. Available: http://doi.org/bqj

W. P. Bollinger, “The BARTD train control system,” Railway Signalling and Communications, pp. 18–23, Dec. 1967.

R. J. Hill and L. J. Bond, “Modelling moving-block railway signalling systems using discrete-event simulation,” in Proceedings of the 1995 IEEE/ASME Joint Railroad Conference, April 1995, pp. 105–111. [Online]. Available: http://doi.org/bn9

P. Balant, M. Borup, and A. Ogunsola, “Achieving TBTC—95 Tube Stock system compatibility,” in The Institution of Engineering and Technology Seminar on EMC in Railways, May 2006, pp. 61–69. [Online]. Available: http://ieeexplore.ieee.org/search/freesrchabstract.jsp?tp=&arnumber=4125971

S. Bossi, “Man-machine relationship in SELTRAC,” in Monitoring behavior and supervisory control, T. B. Sheridan and G. Johannsen, Eds. New York: Plenum Press, 1976.

J. Bow. (2011) The Scarborough rapid transit line. [Online]. Available: http://transit.toronto.on.ca/subway/5107.shtml

C. Braban and N. Ghaly, “Modernization of the New York City subway: latest update on the Canarsie Line project,” in Proceedings of the 2006 IEEE/ASME Joint Rail Conference, 2006, pp. 267–277. [Online]. Available: http://doi.org/bss

B. Cooper, D. Sherhod, P. Bradford, R. Linton, A. Humphrey, and P. Clayton, “New ticketing system for the London Underground,” IEE Proceedings, vol. 134, no. 3, pp. 119–126, May 1987. [Online]. Available: http://doi.org/c4j

J. W. Brownson and G. M. Thorne-Booth, “Strategic control of the San Francisco Bay Area Rapid Transit system,” IEEE Transactions on Industry and General Applications, vol. 7, no. 5, pp. 570–575, 1971. [Online]. Available: http://doi.org/bpv

N. A. Brumberger, B. C. Auxer, and D. L. Rush, “Sequential occupancy release control method and apparatus for train vehicles,” US Patent 3 963 201, Jun. 15, 1976. [Online]. Available: http://www.google.com/patents?id=C8MwAAAAEBAJ

F. R. Childs and R. Bulayev, “PATH’s downtown restoration program,” in Proceedings of the 2004 ASME/IEEE Joint Rail Conference, 2004, pp. 47–52. [Online]. Available: http://ieeexplore.ieee.org/search/freesrchabstract.jsp?tp=&arnumber=1300900

E. P. Burch, Electric Traction for Railway Trains. McGraw-Hill Book Company, 1911. [Online]. Available: http://books.google.com/books?id=k3k5AAAAMAAJ

D. A. Cain and B. R. Pekilis, “AVLC technology today: A developmental history of automatic vehicle location and control systems for the transit environment,” in Proceedings of the IEEE-IEE Vehicle Navigation and Information Systems Conference, 1993, pp. 581–585. [Online]. Available: http://doi.org/bqh

J. M. Mister and R. Carlsen, “On-board integrated vehicle control and communication system,” US Patent 5 053 964, Oct. 1, 1991. [Online]. Available: http://www.google.com/patents?id=imIiAAAAEBAJ

N. A. Irwin, F. D. Catton, and L. E. S. Green, “Transit vehicle fleet information and on-line management,” IEEE Transactions on Vehicular Technology, vol. 29, no. 2, pp. 230–234, 1980. [Online]. Available: http://doi.org/bsx

F. D. Catton and L. G. Berney, “Toronto Transit Commision communications and information system evaluation of operational tests,” in 30th IEEE Vehicular Technology Conference, 1980, pp. 352–356. [Online]. Available: http://doi.org/bqj

E. J. Cekander, “Design of a computer controlled turnstile,” in WESCON/94. ’Idea/Microelectronics’. Conference Record, Sep. 1994, pp. 444–448. [Online]. Available: http://doi.org/brw

C. Chan, “Driverless operation of DRL,” November 2006.

T. C. Chew, “System engineering on a large capital railway project; views from Jubilee Line Extension project,” in IEE Colloquium on Systems Engineering on a Large Capital Railway Project, 1994, pp. 3/1–3/5. [Online]. Available: http://ieeexplore.ieee.org/search/srchabstract.jsp?tp=&arnumber=383659

F. R. Childs and R. Bulayev, “PATH’s downtown restoration program,” in Proceedings of the 2004 ASME/IEEE Joint Rail Conference, 2004, pp. 47–52. [Online]. Available: http://ieeexplore.ieee.org/search/freesrchabstract.jsp?tp=&arnumber=1300900

M. Halinaty, F. Whitwam, and P. L. Chiu, “Challenges of implementing CBTC on an existing railway (SelTrac comes to the London Underground),” October 2005. [Online]. Available: http://www.irse.org.sg/reference_documents/Convention%20Papers/IRSE%20Paper%209%20-%20PL%20Chui.pdf

T. Godfrey and G. Clark, “Resignalling London’s Jubilee, Northern, and Piccadilly lines,” January 2007. [Online]. Available: http://www.irse.org.sg/reference_documents/Technical%20Meetings/Tom%20Godfrey%2011JAN07%20-%20Paper.pdf

B. Cooper, D. Sherhod, P. Bradford, R. Linton, A. Humphrey, and P. Clayton, “New ticketing system for the London Underground,” IEE Proceedings, vol. 134, no. 3, pp. 119–126, May 1987. [Online]. Available: http://doi.org/c4j

R. Clifton, S. Sadler, and E. Dunlop, “Vehicle control system,” US Patent 5 947 423, Sep. 7, 1999. [Online]. Available: http://www.google.com/patents?id=rIIWAAAAEBAJ

M. J. McInnis, P. I. Cohen, and S. A. Leifer, “Fast tracking a new interlocking at PATH’s Exchange Place Station,” 2004. [Online]. Available: http://www.arema.org/files/library/2004_Conference_Proceedings/00021.pdf

P. Connor, “London Underground gets more automated,” Modern Railways, pp. 75–78, Jul. 2011.

R. P. F. Consemulder. (2000) Docklands light rail. [Online]. Available: http://www.xs4all.nl/~dodger/index1.htm

N. B. Hounsell, F. N. McLeod, K. Gardner, J. R. Head, and D. Cook, “Headway-based bus priority in London using AVL: first results,” in Tenth International Conference on Road Transport Information and Control, 2000, pp. 218–222. [Online]. Available: http://doi.org/br3

B. Cooper, D. Sherhod, P. Bradford, R. Linton, A. Humphrey, and P. Clayton, “New ticketing system for the London Underground,” IEE Proceedings, vol. 134, no. 3, pp. 119–126, May 1987. [Online]. Available: http://doi.org/c4j

G. Hacken, N. N. Ghaly, S. Georgiadis, N. Khalil, E. Cutright, and D. Sabatier, “‘Safe software’ need not be an oxymoron,” in Rail Transit Conference Proceedings, 2005. [Online]. Available: http://www.methode-b.com/dl/denis_sabatier/CBTC_NY.pdf

G. Davis and A. Baker, “The ergonomics design of the new Jubilee Line Service Control Centre,” in IEE Colloquium on Control Rooms, Cockpits and Command Centres, 1996, pp. 6/1–6/4. [Online]. Available: http://doi.org/bsd

S. Daw, “The Jubilee and Northern Lines Upgrade Project - delivering increased safety and performance to the Underground,” in 2006 Institution of Engineering and Technology Seminar on Systems Engineering in the Railways, 2006, pp. 117–134.

R. Dell, “Developments in railway signalling on London Transport,” Journal of the Institution of Electrical Engineers - Part II: Power Engineering, vol. 91, no. 23, pp. 400–415, Oct. 1944.

H. Demoro, “Troubles on the aerospace underground,” New Scientist, vol. 62, no. 897, pp. 321–322, May 1974.

D. M. Dimmer, “Open-standards radio based train control proven for APMs,” in Automated People Movers 2005: Moving to the Mainstream Proceedings of the 10th International Conference on Automated People Movers, 2005. [Online]. Available: http://doi.org/bnz

Dobler and Eltzschig, “The SEL operation control system SELTRAC - development stage and further extension,” in Nahverkehrsforschung ’75. Bonn-Bad Godesberg: Bundesminister für Forschung und Technologie, 1975.

K. U. Dobler and H. Uebel, “Train detection system operating in accordance with the axle-counting principle,” US Patent 4 787 581, Nov. 29, 1988. [Online]. Available: http://www.google.com/patents?id=6HA0AAAAEBAJ

K. U. Dobler, W. Jakob, K. Eltzschig, and H. Uebel, “System for the demand-dependent control of guided vehicles,” US Patent 4 015 804, Apr. 5, 1977. [Online]. Available: http://www.google.com/patents?id=mFcwAAAAEBAJ

K. U. Dobler, “SELTRAC betriebsablaufsteuerung für nahverkehrssysteme,” Elektrische Bahnen, vol. 47, pp. 236–241, Oct. 1976.

K. U. Dobler, “The SEL train control system SELTRAC,” in From Electronics to Microelectronics: Fourth European Conference on Electronics—EUROCON ’80, W. A. Kaiser and W. E. Proebster, Eds., no. 4, 1980, pp. 675–680.

K. U. Dobler, “Vehicle control system,” US Patent 4 023 753, May 17, 1977. [Online]. Available: http://www.google.com/patents/about?id=7a87AAAAEBAJ&dq=4023753

K.-U. Dobler, S. Mura, and E. Kraft, “System for controlling track-bound vehicles forming a train,” US Patent 4 266 273, May 5, 1981. [Online]. Available: http://www.google.com/patents?id=6DsuAAAAEBAJ

D. Essamé and D. Dollé, “B in large-scale projects: The Canarsie Line CBTC experience,” in B 2007: Formal Specification and Development in B, ser. Lecture Notes in Computer Science, J. Julliand and O. Kouchnarenko, Eds. Springer Berlin / Heidelberg, 2006, vol. 4355, pp. 252–254. [Online]. Available: http://doi.org/bnt

M. Drolet and D. Beckley, “Control centres human machine factor aspects,” in International Conference on Developments in Mass Transit Systems, Apr. 1998, pp. 146–154. [Online]. Available: http://doi.org/bsg

R. Clifton, S. Sadler, and E. Dunlop, “Vehicle control system,” US Patent 5 947 423, Sep. 7, 1999. [Online]. Available: http://www.google.com/patents?id=rIIWAAAAEBAJ

R. D. Pascoe and T. N. Eichorn, “What is communication-based train control?” IEEE Vehicular Technology Magazine, vol. 4, no. 4, pp. 16–21, Dec. 2009. [Online]. Available: http://doi.org/btg

Dobler and Eltzschig, “The SEL operation control system SELTRAC - development stage and further extension,” in Nahverkehrsforschung ’75. Bonn-Bad Godesberg: Bundesminister für Forschung und Technologie, 1975.

K. U. Dobler, W. Jakob, K. Eltzschig, and H. Uebel, “System for the demand-dependent control of guided vehicles,” US Patent 4 015 804, Apr. 5, 1977. [Online]. Available: http://www.google.com/patents?id=mFcwAAAAEBAJ

D. Essamé and D. Dollé, “B in large-scale projects: The Canarsie Line CBTC experience,” in B 2007: Formal Specification and Development in B, ser. Lecture Notes in Computer Science, J. Julliand and O. Kouchnarenko, Eds. Springer Berlin / Heidelberg, 2006, vol. 4355, pp. 252–254. [Online]. Available: http://doi.org/bnt

M. W. J. Etwell, “Engineering challenges of linking into Europe,” Proceedings of the Institution of Mechanical Engineers, Part F: Journal of Rail and Rapid Transit, vol. 208, no. F2, pp. 83–95, 1994. [Online]. Available: http://doi.org/bq7

M. W. J. Etwell, “Anything but boring,” Proceedings of the Institution of Mechanical Engineers, Part F: Journal of Rail and Rapid Transit, vol. 212, no. 2, pp. 159–175, 1998. [Online]. Available: http://doi.org/bq9

A. S. Eve, W. A. Steel, G. W. Olive, A. R. McEwan, and J. H. Thompson, “Reception experiments in Mount Royal Tunnel,” Proceedings of the Institute of Radio Engineers, vol. 17, no. 2, pp. 347–376, Feb. 1929. [Online]. Available: http://doi.org/bpc

P. Behm, P. Benoit, A. Faivre, and J.-M. Meynadier, “Météor: A successful application of B in a large project,” in FM’99 — Formal Methods, ser. Lecture Notes in Computer Science, J. Wing, J. Woodcock, and J. Davies, Eds. Springer Berlin / Heidelberg, 1999, vol. 1708, pp. 369–387. [Online]. Available: http://doi.org/bns

D. L. Field and N. P. Agnew, “London Underground’s ticketing, past, present and future,” in International Conference on Public Transport Electronic Systems, 1996, pp. 77–80. [Online]. Available: http://doi.org/bsc

G. D. Friedlander, “The grand scheme,” IEEE Spectrum, vol. 9, no. 9, pp. 35–43, Sep. 1972. [Online]. Available: http://doi.org/bqn

G. D. Friedlander, “More BART hardware,” IEEE Spectrum, vol. 9, no. 11, pp. 41–45, Nov. 1972. [Online]. Available: http://doi.org/bqq

G. D. Friedlander, “Bigger bugs in BART?” IEEE Spectrum, vol. 10, no. 3, pp. 32–37, Mar. 1973. [Online]. Available: http://doi.org/bqv

G. D. Friedlander, “A prescription for BART,” IEEE Spectrum, vol. 10, no. 4, pp. 40–44, Apr. 1973. [Online]. Available: http://doi.org/bqw

G. D. Friedlander, “BART’s hardware—from bolts to computers,” IEEE Spectrum, vol. 9, no. 10, pp. 60–62, Oct. 1972. [Online]. Available: http://doi.org/bqx

G. D. Friedlander, “The BART chronicle,” IEEE Spectrum, vol. 9, no. 9, p. 34, Sep. 1972. [Online]. Available: http://doi.org/bqz

G. D. Friedlander, “BART sets the pace,” IEEE Spectrum, vol. 9, no. 11, pp. 45–54, Nov. 1972. [Online]. Available: http://doi.org/bq2

G. de Koning Gans, J.-H. Hoepman, and F. D. Garcia, “A practical attack on the MIFARE Classic,” CoRR, vol. abs/0803.2285, 2008. [Online]. Available: http://arxiv.org/abs/0803.2285

N. B. Hounsell, F. N. McLeod, K. Gardner, J. R. Head, and D. Cook, “Headway-based bus priority in London using AVL: first results,” in Tenth International Conference on Road Transport Information and Control, 2000, pp. 218–222. [Online]. Available: http://doi.org/br3

B. Hansen, E. Latham, Jr., D. Gary, and S. Shogan, “The Detroit People Mover: technology upgrades and rehabilitation plans on a middle-aged urban AGT,” in Proceedings of the 2003 IEEE/ASME Joint Rail Conference, 2003, pp. 91–97. [Online]. Available: http://doi.org/bnv

G. Hacken, N. N. Ghaly, S. Georgiadis, N. Khalil, E. Cutright, and D. Sabatier, “‘Safe software’ need not be an oxymoron,” in Rail Transit Conference Proceedings, 2005. [Online]. Available: http://www.methode-b.com/dl/denis_sabatier/CBTC_NY.pdf

C. Braban and N. Ghaly, “Modernization of the New York City subway: latest update on the Canarsie Line project,” in Proceedings of the 2006 IEEE/ASME Joint Rail Conference, 2006, pp. 267–277. [Online]. Available: http://doi.org/bss

N. N. Ghaly, “Method and apparatus for hybrid train control device,” US Patent Application US 2010/0 299 007 A1, Nov. 25, 2010. [Online]. Available: http://www.google.com/patents?id=mq7dAAAAEBAJ

K. A. Mooney and N. N. Ghaly, “Communications based train control at mta new york city transit. program background and update,” in Proceedings of the 1998 ASME/IEEE Joint Railroad Conference, 1998, pp. 177–188. [Online]. Available: http://doi.org/bsw

G. Hacken, N. N. Ghaly, S. Georgiadis, N. Khalil, E. Cutright, and D. Sabatier, “‘Safe software’ need not be an oxymoron,” in Rail Transit Conference Proceedings, 2005. [Online]. Available: http://www.methode-b.com/dl/denis_sabatier/CBTC_NY.pdf

D. Gill, “The impact of moving block train control on heavy metros,” in International Conference on Developments in Mass Transit Systems, no. 453, 1998, pp. 235–242. [Online]. Available: http://doi.org/bpj

M. Glover, “Signalling technology for today’s railways,” IET Computing and Control Engineering, vol. 18, no. 1, pp. 34–37, 2007. [Online]. Available: http://ieeexplore.ieee.org/search/srchabstract.jsp?tp=&arnumber=4140653

T. Godfrey and G. Clark, “Resignalling London’s Jubilee, Northern, and Piccadilly lines,” January 2007. [Online]. Available: http://www.irse.org.sg/reference_documents/Technical%20Meetings/Tom%20Godfrey%2011JAN07%20-%20Paper.pdf

N. A. Irwin, F. D. Catton, and L. E. S. Green, “Transit vehicle fleet information and on-line management,” IEEE Transactions on Vehicular Technology, vol. 29, no. 2, pp. 230–234, 1980. [Online]. Available: http://doi.org/bsx

B. S. Greenberg. (1997) Subway signals: A complete guide. [Online]. Available: http://nycsubway.org/articles/signals.html

A. S. Richey and W. C. Greenough, Electric Railway Handbook. McGraw-Hill Book Company, 1915. [Online]. Available: http://books.google.com/books?id=23hIAAAAMAAJ

J. P. Greenway and R. H. Sheldon, “Automatic train control and communications for Washington Metro,” Communications Society, vol. 12, no. 6, pp. 14–21, Nov. 1974. [Online]. Available: http://doi.org/bqg

R. A. van Eck and N. Grief, “The BART car systems and maintenance philosophies,” IEEE Transactions on Industry Applications, vol. 10, no. 5, pp. 553–559, 1974. [Online]. Available: http://doi.org/bqt

J. Griffith and D. Holmes, “BART and the Victoria Line: A comparison of new commuter transport in California and London,” California Law Review, vol. 55, no. 3, pp. 780–812, Aug. 1967. [Online]. Available: http://www.jstor.org/stable/3479446

Y. Gruere and B. Moroz, “TVM 400 - a modular and flexible ATC system,” in International Conference on Main Line Railway Electrification, 1989, pp. 341–345. [Online]. Available: http://ieeexplore.ieee.org/search/freesrchabstract.jsp?tp=&arnumber=51899

G. Hacken, N. N. Ghaly, S. Georgiadis, N. Khalil, E. Cutright, and D. Sabatier, “‘Safe software’ need not be an oxymoron,” in Rail Transit Conference Proceedings, 2005. [Online]. Available: http://www.methode-b.com/dl/denis_sabatier/CBTC_NY.pdf

J. Haile and N. Malik, “Assuring the functional safety of a complex railway signalling interface,” in 5th IET International Conference on System Safety, 2010. [Online]. Available: http://doi.org/bnx

M. Halinaty, F. Whitwam, and P. L. Chiu, “Challenges of implementing CBTC on an existing railway (SelTrac comes to the London Underground),” October 2005. [Online]. Available: http://www.irse.org.sg/reference_documents/Convention%20Papers/IRSE%20Paper%209%20-%20PL%20Chui.pdf

B. Hansen, E. Latham, Jr., D. Gary, and S. Shogan, “The Detroit People Mover: technology upgrades and rehabilitation plans on a middle-aged urban AGT,” in Proceedings of the 2003 IEEE/ASME Joint Rail Conference, 2003, pp. 91–97. [Online]. Available: http://doi.org/bnv

M. A. Harding, “Multiplexed controls on underground trains,” IEE Proceedings, vol. 125, no. 1, pp. 49–54, Jan. 1978. [Online]. Available: http://doi.org/br6

M. A. Harding, “Experience of electronics on rapid transit stock,” IEE Proceedings, vol. 127, no. 4, pp. 215–222, Jul. 1980. [Online]. Available: http://doi.org/c3d

C. R. White and R. Harding, “Line management–positive train identification,” IEE Review, vol. 36, no. 4, pp. 155–158, Apr. 1990. [Online]. Available: http://ieeexplore.ieee.org/search/srchabstract.jsp?tp=&arnumber=215950

P. Harrop, “The electronic purse,” IEE Review, vol. 38, no. 6, pp. 227–231, Jun. 1992. [Online]. Available: http://ieeexplore.ieee.org/search/freesrchabstract.jsp?tp=&arnumber=142536

A. F. Harsch, “‘Dry-runs’ by computer,” IEEE Spectrum, vol. 9, no. 9, pp. 43–46, Sep. 1972. [Online]. Available: http://doi.org/bqp

D. Wanless and M. Hart, “Automatic ticketing on London underground,” Transport Reviews, vol. 9, no. 4, pp. 361–370, 1989. [Online]. Available: http://doi.org/brs

D. Hartland, “Electric contact systems - passing power to the trains,” in IET Professional Development course on Electric Traction Systems, 2008. [Online]. Available: http://ieeexplore.ieee.org/search/freesrchabstract.jsp?tp=&arnumber=4760164

C. R. Hayward and A. B. K. Bachoo, “Health monitoring on ground-based transit systems,” in International Conference on Public Transport Electronic Systems, 1996, pp. 35–39. [Online]. Available: http://doi.org/bq4

N. B. Hounsell, F. N. McLeod, K. Gardner, J. R. Head, and D. Cook, “Headway-based bus priority in London using AVL: first results,” in Tenth International Conference on Road Transport Information and Control, 2000, pp. 218–222. [Online]. Available: http://doi.org/br3

P. Luff and C. Heath, “Surveying the scene: The monitoring practices of staff in control rooms,” in International Conference on Human Interfaces in Control Rooms, Cockpits and Command Centres, 1999, pp. 1–6. [Online]. Available: http://doi.org/bsh

F. P. Wyman and H. J. Helfand, “Analysis of revenue collection operations in the Washington Metro Rail System,” Interfaces, vol. 7, no. 3, pp. 28–31, May 1977. [Online]. Available: http://www.jstor.org/stable/25059466

R. J. Hill, “Fail-safe speed sensor for London Transport automatic trains,” IEE Proceedings, vol. 128, no. 6, pp. 277–284, Nov. 1981. [Online]. Available: http://doi.org/c3f

R. J. Hill, “Electric railway traction. VII. Electromagnetic interference in traction systems,” Power Engineering Journal, vol. 11, no. 6, pp. 259–266, Dec. 1997. [Online]. Available: http://doi.org/c24

R. J. Hill, “Electric railway traction. VI. Electromagnetic compatibility disturbance-sources and equipment susceptibility,” Power Engineering Journal, vol. 11, no. 1, pp. 31–39, Feb. 1997. [Online]. Available: http://doi.org/c25

R. J. Hill, “Electric railway traction. V. Train detection, communications and supervision,” Power Engineering Journal, vol. 10, no. 2, pp. 87–95, Apr. 1996. [Online]. Available: http://doi.org/c26

R. J. Hill, “Electric railway traction. IV. Signalling and interlockings,” Power Engineering Journal, vol. 9, no. 4, pp. 201–206, Aug. 1995. [Online]. Available: http://doi.org/c27

R. J. Hill, “Electric railway traction. III. Traction power supplies,” Power Engineering Journal, vol. 8, no. 6, pp. 275–286, Dec. 1994. [Online]. Available: http://doi.org/c28

R. J. Hill, “Electric railway traction. II. Traction drives with three-phase induction motors,” Power Engineering Journal, vol. 8, no. 3, pp. 143–152, Jun. 1994. [Online]. Available: http://doi.org/c29

R. J. Hill, “Electric railway traction. I. Electric traction and dc traction motor drives,” Power Engineering Journal, vol. 8, no. 1, pp. 47–56, Feb. 1994. [Online]. Available: http://doi.org/c3b

R. J. Hill and L. J. Bond, “Modelling moving-block railway signalling systems using discrete-event simulation,” in Proceedings of the 1995 IEEE/ASME Joint Railroad Conference, April 1995, pp. 105–111. [Online]. Available: http://doi.org/bn9

G. de Koning Gans, J.-H. Hoepman, and F. D. Garcia, “A practical attack on the MIFARE Classic,” CoRR, vol. abs/0803.2285, 2008. [Online]. Available: http://arxiv.org/abs/0803.2285

J. Griffith and D. Holmes, “BART and the Victoria Line: A comparison of new commuter transport in California and London,” California Law Review, vol. 55, no. 3, pp. 780–812, Aug. 1967. [Online]. Available: http://www.jstor.org/stable/3479446

J. Holmes, “Systems engineering of interfaces between high speed line and conventional rail signalling.” [Online]. Available: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.122.7174

M. Horn, “Good news for commuters: better and faster rapid transit,” IEEE Spectrum, vol. 9, no. 2, pp. 55–61, Feb. 1972. [Online]. Available: http://doi.org/bp9

N. B. Hounsell, F. N. McLeod, K. Gardner, J. R. Head, and D. Cook, “Headway-based bus priority in London using AVL: first results,” in Tenth International Conference on Road Transport Information and Control, 2000, pp. 218–222. [Online]. Available: http://doi.org/br3

G. P. Hubbs and E. A. Mortlock, “NYCT’s communications based train control standard: a look at the leader’s system,” in Proceedings of the 2000 ASME/IEEE Joint Railroad Conference, 2000, pp. 125–133. [Online]. Available: http://doi.org/bsv

B. Cooper, D. Sherhod, P. Bradford, R. Linton, A. Humphrey, and P. Clayton, “New ticketing system for the London Underground,” IEE Proceedings, vol. 134, no. 3, pp. 119–126, May 1987. [Online]. Available: http://doi.org/c4j

P. Ingall, “London Underground’s Connect project,” in Advances in Railway Communication Systems. Digest of Papers (Ref. No. 1997/401), IEE, Dec. 1997, pp. 3/1–3/6. [Online]. Available: http://doi.org/brt

D. E. Irwin, “Computerised train despatch and information system,” in 33rd IEEE Vehicular Technology Conference, 1983, pp. 41–46. [Online]. Available: http://doi.org/bqm

N. A. Irwin, F. D. Catton, and L. E. S. Green, “Transit vehicle fleet information and on-line management,” IEEE Transactions on Vehicular Technology, vol. 29, no. 2, pp. 230–234, 1980. [Online]. Available: http://doi.org/bsx

R. A. Isberg, “A review of applications for guided radio communications technology,” in 31st IEEE Vehicular Technology Conference, Apr. 1981, pp. 110–119. [Online]. Available: http://doi.org/br7

M. Jacoub, “A large computerized automatic system: the automatic fare collection system of the Paris Metro,” in Proceedings of the IFAC 6th world congress, Boston/Cambridge, Massachusetts, U.S.A., vol. 3, 1975, pp. 1–6.

K. U. Dobler, W. Jakob, K. Eltzschig, and H. Uebel, “System for the demand-dependent control of guided vehicles,” US Patent 4 015 804, Apr. 5, 1977. [Online]. Available: http://www.google.com/patents?id=mFcwAAAAEBAJ

P. C. Johnson, “The technology of fare collection in use by WMATA,” in 26th IEEE Vehicular Technology Conference, 1976. [Online]. Available: http://doi.org/bnq

S. Jones, “Automatic control in railway systems,” Electronics and Power, vol. 12, no. 6, pp. 180–183, 1966. [Online]. Available: http://doi.org/bqb

G. Hacken, N. N. Ghaly, S. Georgiadis, N. Khalil, E. Cutright, and D. Sabatier, “‘Safe software’ need not be an oxymoron,” in Rail Transit Conference Proceedings, 2005. [Online]. Available: http://www.methode-b.com/dl/denis_sabatier/CBTC_NY.pdf

H. Uebel and A. C. Knight, “New German developments in the field of train detection,” IEE Proceedings, vol. 134, no. 3, pp. 167–175, May 1987. [Online]. Available: http://doi.org/c4k

N. J. Meyerhoff and J. S. Koziol, Jr., “Reliability of fare collection hardware in subways,” in Proceedings, Annual Reliability and Maintainability Symposium, 1984, pp. 33–38. [Online]. Available: http://doi.org/br2

K.-U. Dobler, S. Mura, and E. Kraft, “System for controlling track-bound vehicles forming a train,” US Patent 4 266 273, May 5, 1981. [Online]. Available: http://www.google.com/patents?id=6DsuAAAAEBAJ

E. Kuun, “Radio based train control systems for the APM market,” in Automated People Movers 2005: Moving to the Mainstream Proceedings of the 10th International Conference on Automated People Movers, no. 10, 2005. [Online]. Available: http://doi.org/bn2

R. Smith and S. Ladouceur, “Brake assurance monitor,” US Patent 4 835 693, May 30, 1989. [Online]. Available: http://www.google.com/patents?id=mAo6AAAAEBAJ

A. Langdon, “Interlocking system for railroads,” US Patent 2 265 240, Dec. 9, 1941. [Online]. Available: http://www.google.com/patents?id=TbNXAAAAEBAJ

P. A. Laplante and F. C. Woolsey, “IEEE 1473: An open-source communications protocol for railway vehicles,” IT Professional, vol. 5, no. 6, pp. 12–16, 2003. [Online]. Available: http://doi.org/bsn

B. Hansen, E. Latham, Jr., D. Gary, and S. Shogan, “The Detroit People Mover: technology upgrades and rehabilitation plans on a middle-aged urban AGT,” in Proceedings of the 2003 IEEE/ASME Joint Rail Conference, 2003, pp. 91–97. [Online]. Available: http://doi.org/bnv

J. B. Latimer, Railway Signaling in Theory and Practice. Chicago: Mackenzie-Klink Publishing Company, 1909. [Online]. Available: http://books.google.com/books?id=BB7yLEFxpM0C

E. R. Leech and W. T. Outlaw, “A communication system custom designed for the Montreal metro rapid transit subway,” in 27th IEEE Vehicular Technology Conference, 1977, pp. 137–142. [Online]. Available: http://doi.org/bsp

M. J. McInnis, P. I. Cohen, and S. A. Leifer, “Fast tracking a new interlocking at PATH’s Exchange Place Station,” 2004. [Online]. Available: http://www.arema.org/files/library/2004_Conference_Proceedings/00021.pdf

J. P. Leonardo, K. M. Watling, J. P. Smith, and P. Stefow, “Signal design and installation on Toronto Transit Commission’s Sheppard Line,” 2003. [Online]. Available: http://www.arema.org/files/library/2003_Conference_Proceedings/0040.pdf

Z.-W. Lin, “Network OAM requirements for the New York City Transit network,” IEEE Communications Magazine, vol. 42, no. 10, pp. 112–116, Oct. 2004. [Online]. Available: http://doi.org/btt

B. Linton, “Vehicle positioning on London Transport buses,” in IEE Colloquium on Where Are We Going? (And How Fast!) Seminar Exploring Speed And Positioning Systems For The Transport Sector, 1997, pp. 6/1–6/6. [Online]. Available: http://doi.org/br8

B. Cooper, D. Sherhod, P. Bradford, R. Linton, A. Humphrey, and P. Clayton, “New ticketing system for the London Underground,” IEE Proceedings, vol. 134, no. 3, pp. 119–126, May 1987. [Online]. Available: http://doi.org/c4j

I. A. Litvak and C. J. Maule, The light-rapid comfortable (LRC) train and the intermediate capacity transit system (ICTS). Toronto: Joint Program in Transportation, 1982, no. 84.

M. J. Lockyear, “Earthing arrangements and effect of stray currents on Docklands Light Railway,” in IEE Colloquium on Stray Current Effects of DC Railways and Tramways, 1990, pp. 3/1/1–3/1/4. [Online]. Available: http://ieeexplore.ieee.org/search/freesrchabstract.jsp?tp=&arnumber=190625

M. J. Lockyear, “The application of a transmission based moving block automatic train control system on Docklands Light Railway,” in International Conference on Developments in Mass Transit Systems, 1998, pp. 51–61. [Online]. Available: http://doi.org/bn4

M. J. Lockyear, “Changing track: moving-block railway signalling,” IEE Review, vol. 42, no. 1, pp. 21–25, Jan 1996. [Online]. Available: http://doi.org/bn8

J. Lovegrove, “Electromagnetic compatibility for communications based signaling systems,” in Proceedings of the 1996 ASME/IEEE Joint Railroad Conference, 1996, pp. 203–216. [Online]. Available: http://doi.org/bn5

P. Luff and C. Heath, “Surveying the scene: The monitoring practices of staff in control rooms,” in International Conference on Human Interfaces in Control Rooms, Cockpits and Command Centres, 1999, pp. 1–6. [Online]. Available: http://doi.org/bsh

J. Haile and N. Malik, “Assuring the functional safety of a complex railway signalling interface,” in 5th IET International Conference on System Safety, 2010. [Online]. Available: http://doi.org/bnx

D. Maltby, “Financial appraisals of a microcomputer-based referencing system for a local bus travel telephone enquiry service,” Transport Reviews, vol. 10, no. 4, pp. 353–360, 1990. [Online]. Available: http://doi.org/bsj

D. J. R. Martin and R. A. Sharp, “Radio in the London Underground,” in IEEE 39th Vehicular Technology Conference, 1989, pp. 375–382. [Online]. Available: http://doi.org/bsb

G. C. Martin, “New York City Transit Authority’s new technology test train program,” in 41st IEEE Vehicular Technology Conference, 1991. Gateway to the Future Technology in Motion., 1991, pp. 875–880. [Online]. Available: http://doi.org/bsr

I. A. Litvak and C. J. Maule, The light-rapid comfortable (LRC) train and the intermediate capacity transit system (ICTS). Toronto: Joint Program in Transportation, 1982, no. 84.

C. Maurer, “Tomorrow’s train is running today in Canada,” Popular Science, vol. 217, no. 6, pp. 75–77, Dec. 1980. [Online]. Available: http://books.google.com/books?id=qrgopj0sit4C&pg=PA75

J. W. McCormick, “We’ve been working on the railroad: A laboratory for real-time embedded systems,” in Proceedings of the 36th SIGCSE technical symposium on Computer science education, ser. SIGCSE ’05. ACM, 2005. [Online]. Available: http://doi.org/brc

M. McDonald and A. Richards, “Vehicle health monitoring on the Docklands Light Railway,” in IEE Colloquium on Advanced Condition Monitoring Systems for Railways, 1995, pp. 4/1–4/6. [Online]. Available: http://doi.org/bq5

A. S. Eve, W. A. Steel, G. W. Olive, A. R. McEwan, and J. H. Thompson, “Reception experiments in Mount Royal Tunnel,” Proceedings of the Institute of Radio Engineers, vol. 17, no. 2, pp. 347–376, Feb. 1929. [Online]. Available: http://doi.org/bpc

M. J. McInnis, P. I. Cohen, and S. A. Leifer, “Fast tracking a new interlocking at PATH’s Exchange Place Station,” 2004. [Online]. Available: http://www.arema.org/files/library/2004_Conference_Proceedings/00021.pdf

N. B. Hounsell, F. N. McLeod, K. Gardner, J. R. Head, and D. Cook, “Headway-based bus priority in London using AVL: first results,” in Tenth International Conference on Road Transport Information and Control, 2000, pp. 218–222. [Online]. Available: http://doi.org/br3

N. J. Meyerhoff and J. S. Koziol, Jr., “Reliability of fare collection hardware in subways,” in Proceedings, Annual Reliability and Maintainability Symposium, 1984, pp. 33–38. [Online]. Available: http://doi.org/br2

P. Behm, P. Benoit, A. Faivre, and J.-M. Meynadier, “Météor: A successful application of B in a large project,” in FM’99 — Formal Methods, ser. Lecture Notes in Computer Science, J. Wing, J. Woodcock, and J. Davies, Eds. Springer Berlin / Heidelberg, 1999, vol. 1708, pp. 369–387. [Online]. Available: http://doi.org/bns

W. D. Middleton, Metropolitan Railways: Rapid Transit in America. Indiana University Press, 2003.

M. Milner, “World class customer information on the tube,” in 2008 IET Seminar on Railway Customer Information Systems, 2008. [Online]. Available: http://ieeexplore.ieee.org/search/freesrchabstract.jsp?tp=&arnumber=4780165

A. Mirtchev, “Automatic restart for communication based train control systems,” in Proceedings of the 2005 ASME/IEEE Joint Rail Conference, 2005, pp. 177–179. [Online]. Available: http://doi.org/btk

J. M. Mister and R. Carlsen, “On-board integrated vehicle control and communication system,” US Patent 5 053 964, Oct. 1, 1991. [Online]. Available: http://www.google.com/patents?id=imIiAAAAEBAJ

P. Bassett and G. Moens, “Eurostar and the myriad of signalling systems application on CTRL: Driver interface with these systems.”

K. A. Mooney and N. N. Ghaly, “Communications based train control at mta new york city transit. program background and update,” in Proceedings of the 1998 ASME/IEEE Joint Railroad Conference, 1998, pp. 177–188. [Online]. Available: http://doi.org/bsw

S. Morar, “Evolution of communication based train control worldwide,” in IET Professional Development Course on Railway Signalling and Control Systems, 2010, pp. 281–289. [Online]. Available: http://doi.org/bth

Y. Gruere and B. Moroz, “TVM 400 - a modular and flexible ATC system,” in International Conference on Main Line Railway Electrification, 1989, pp. 341–345. [Online]. Available: http://ieeexplore.ieee.org/search/freesrchabstract.jsp?tp=&arnumber=51899

E. Schaefer and E. Mortlock, “Engineering the CBTC interface with the NYCT R143 vehicle,” in Proceedings of the 2001 IEEE/ASME Joint Railroad Conference, 2001, pp. 17–28. [Online]. Available: http://doi.org/bst

G. P. Hubbs and E. A. Mortlock, “NYCT’s communications based train control standard: a look at the leader’s system,” in Proceedings of the 2000 ASME/IEEE Joint Railroad Conference, 2000, pp. 125–133. [Online]. Available: http://doi.org/bsv

G. Munro, “Ontario’s Urban Transportation Development Corporation: a case study in privatization,” Canadian Public Administration, vol. 32, no. 1, pp. 25–40, May 1989. [Online]. Available: http://doi.org/bn3

K.-U. Dobler, S. Mura, and E. Kraft, “System for controlling track-bound vehicles forming a train,” US Patent 4 266 273, May 5, 1981. [Online]. Available: http://www.google.com/patents?id=6DsuAAAAEBAJ

D. Patel and G. Neil, “Passenger information systems on London Underground Limited rolling stock,” in IEE Colloquium on Passenger Information (Trains and Trackside), 1991, pp. 3/1/1–3/1/8. [Online]. Available: http://ieeexplore.ieee.org/search/srchabstract.jsp?tp=&arnumber=181023

G. Neil, “On board train control and monitoring systems,” in The 9th Institution of Engineering and Technology Professional Development Course on Electric Traction Systems, 2006, pp. 211–241. [Online]. Available: http://ieeexplore.ieee.org/search/srchabstract.jsp?tp=&arnumber=4137512

P. Niquette, “Current hogging as a factor in loss-of-shunt,” Jun. 2009. [Online]. Available: http://niquette.com/paul/issue/curhog32.htm

P. E. Norton, “People-moving with new technology,” Computers and People, vol. 23, no. 3, pp. 8–12, Mar. 1974.

P. Balant, M. Borup, and A. Ogunsola, “Achieving TBTC—95 Tube Stock system compatibility,” in The Institution of Engineering and Technology Seminar on EMC in Railways, May 2006, pp. 61–69. [Online]. Available: http://ieeexplore.ieee.org/search/freesrchabstract.jsp?tp=&arnumber=4125971

A. S. Eve, W. A. Steel, G. W. Olive, A. R. McEwan, and J. H. Thompson, “Reception experiments in Mount Royal Tunnel,” Proceedings of the Institute of Radio Engineers, vol. 17, no. 2, pp. 347–376, Feb. 1929. [Online]. Available: http://doi.org/bpc

P. W. Ottley, “Signalling on the London Underground,” Students’ Quarterly Journal, vol. 3, no. 11, pp. 112–115, Feb. 1933. [Online]. Available: http://doi.org/br9

E. R. Leech and W. T. Outlaw, “A communication system custom designed for the Montreal metro rapid transit subway,” in 27th IEEE Vehicular Technology Conference, 1977, pp. 137–142. [Online]. Available: http://doi.org/bsp

A. J. Pallett, “Controlling the London Underground power supply system under the Power Private Finance Initiative (PFI),” in International Conference on Human Interfaces in Control Rooms, Cockpits and Command Centres, 1999, pp. 452–457. [Online]. Available: http://doi.org/brv

T. E. Parkinson, “Automation in urban transport,” Electronics and Power, vol. 14, no. 10, pp. 392–396, Oct. 1968. [Online]. Available: http://doi.org/br5

R. D. Pascoe and T. N. Eichorn, “What is communication-based train control?” IEEE Vehicular Technology Magazine, vol. 4, no. 4, pp. 16–21, Dec. 2009. [Online]. Available: http://doi.org/btg

D. Patel and G. Neil, “Passenger information systems on London Underground Limited rolling stock,” in IEE Colloquium on Passenger Information (Trains and Trackside), 1991, pp. 3/1/1–3/1/8. [Online]. Available: http://ieeexplore.ieee.org/search/srchabstract.jsp?tp=&arnumber=181023

B. Paul, “Automatic fare collection comes to bus transit,” Metro, vol. 79, no. 6, 1983.

L. V. Pearson, “Moving block railway signalling,” Ph.D. dissertation, Loughborough University of Technology, Feb. 1973. [Online]. Available: http://ethos.bl.uk/OrderDetails.do?did=1&uin=uk.bl.ethos.468563

D. A. Cain and B. R. Pekilis, “AVLC technology today: A developmental history of automatic vehicle location and control systems for the transit environment,” in Proceedings of the IEEE-IEE Vehicle Navigation and Information Systems Conference, 1993, pp. 581–585. [Online]. Available: http://doi.org/bqh

G. Petit, “Evolution of the electrical equipment of TGV trainsets,” in International Conference on Main Line Railway Electrification, 1989, pp. 403–407. [Online]. Available: http://ieeexplore.ieee.org/search/freesrchabstract.jsp?tp=&arnumber=51911

T. S. Pick and A. Readman, “The recognition of moving vehicles by electronic means,” Proceedings of the IEE - Part B: Radio and Electronic Engineering, vol. 106, no. 26, pp. 186–195, Mar. 1959.

A. J. L. Pincock, “Safe passage to Europe—Eurostar’s in-cab signalling systems,” Proceedings of the Institution of Mechanical Engineers, Part F: Journal of Rail and Rapid Transit, vol. 212, no. 3, pp. 235–251, 1998. [Online]. Available: http://doi.org/bq6

A. Platzer and J.-D. Quesel, “European train control system: A case study in formal verification,” in Formal Methods and Software Engineering, ser. Lecture Notes in Computer Science, K. Breitman and A. Cavalcanti, Eds. Springer Berlin / Heidelberg, 2009, vol. 5885, pp. 246–265. [Online]. Available: http://doi.org/bq8

M. W. Pollack, “Train control: Automating the world’s railways for safety,” IEEE Potentials, vol. 17, no. 1, pp. 8–12, 1998. [Online]. Available: http://doi.org/brm

A. Platzer and J.-D. Quesel, “European train control system: A case study in formal verification,” in Formal Methods and Software Engineering, ser. Lecture Notes in Computer Science, K. Breitman and A. Cavalcanti, Eds. Springer Berlin / Heidelberg, 2009, vol. 5885, pp. 246–265. [Online]. Available: http://doi.org/bq8

S. Raney and S. E. Young, “Morgantown people mover—updated description,” 2004. [Online]. Available: http://www.cities21.org/morgantown_TRB_111504.pdf

T. S. Pick and A. Readman, “The recognition of moving vehicles by electronic means,” Proceedings of the IEE - Part B: Radio and Electronic Engineering, vol. 106, no. 26, pp. 186–195, Mar. 1959.

M. McDonald and A. Richards, “Vehicle health monitoring on the Docklands Light Railway,” in IEE Colloquium on Advanced Condition Monitoring Systems for Railways, 1995, pp. 4/1–4/6. [Online]. Available: http://doi.org/bq5

A. S. Richey and W. C. Greenough, Electric Railway Handbook. McGraw-Hill Book Company, 1915. [Online]. Available: http://books.google.com/books?id=23hIAAAAMAAJ

R. M. Robbins, “The Victoria Line and its successors,” Electronics and Power, vol. 16, no. 6, pp. 226–230, Jun. 1970. [Online]. Available: http://doi.org/brz

P. Robins, “Controlling Le Shuttle: signalling for the Channel Tunnel,” IEE Review, vol. 39, no. 4, pp. 156–157, Jul. 1993. [Online]. Available: http://doi.org/f34

W. Rudderham, “Longitudinal control system of the intermediate capacity transit system,” in 33rd IEEE Vehicular Technology Conference, vol. 33, May 1983, pp. 183–190. [Online]. Available: http://doi.org/bpb

N. A. Brumberger, B. C. Auxer, and D. L. Rush, “Sequential occupancy release control method and apparatus for train vehicles,” US Patent 3 963 201, Jun. 15, 1976. [Online]. Available: http://www.google.com/patents?id=C8MwAAAAEBAJ

G. Hacken, N. N. Ghaly, S. Georgiadis, N. Khalil, E. Cutright, and D. Sabatier, “‘Safe software’ need not be an oxymoron,” in Rail Transit Conference Proceedings, 2005. [Online]. Available: http://www.methode-b.com/dl/denis_sabatier/CBTC_NY.pdf

R. Clifton, S. Sadler, and E. Dunlop, “Vehicle control system,” US Patent 5 947 423, Sep. 7, 1999. [Online]. Available: http://www.google.com/patents?id=rIIWAAAAEBAJ

E. Schaefer and E. Mortlock, “Engineering the CBTC interface with the NYCT R143 vehicle,” in Proceedings of the 2001 IEEE/ASME Joint Railroad Conference, 2001, pp. 17–28. [Online]. Available: http://doi.org/bst

B. Schneier, “Secrecy, security, and obscurity,” Crypto-Gram Newsletter, May 2002. [Online]. Available: http://www.schneier.com/crypto-gram-0205.html#1

Z. M. Schrag, The Great Society Subway: A History of the Washington Metro. Johns Hopkins University Press, 2006.

Z. M. Schrag, ““The Bus Is Young and Honest’’: Transportation politics, technical choice, and the motorization of Manhattan surface transit, 1919-1936,” Technology and Culture, vol. 41, no. 1, pp. 51–79, Jan. 2000. [Online]. Available: http://www.jstor.org/stable/25147453

D. J. R. Martin and R. A. Sharp, “Radio in the London Underground,” in IEEE 39th Vehicular Technology Conference, 1989, pp. 375–382. [Online]. Available: http://doi.org/bsb

J. P. Greenway and R. H. Sheldon, “Automatic train control and communications for Washington Metro,” Communications Society, vol. 12, no. 6, pp. 14–21, Nov. 1974. [Online]. Available: http://doi.org/bqg

B. Cooper, D. Sherhod, P. Bradford, R. Linton, A. Humphrey, and P. Clayton, “New ticketing system for the London Underground,” IEE Proceedings, vol. 134, no. 3, pp. 119–126, May 1987. [Online]. Available: http://doi.org/c4j

E. L. Shirey, “Point of access: A user’s perspective on mass transit entrance system design.” Master’s thesis, Virginia Polytechnic Institute and State University, 2002. [Online]. Available: http://scholar.lib.vt.edu/theses/available/etd-08072003-153515/

B. Hansen, E. Latham, Jr., D. Gary, and S. Shogan, “The Detroit People Mover: technology upgrades and rehabilitation plans on a middle-aged urban AGT,” in Proceedings of the 2003 IEEE/ASME Joint Rail Conference, 2003, pp. 91–97. [Online]. Available: http://doi.org/bnv

J. P. Leonardo, K. M. Watling, J. P. Smith, and P. Stefow, “Signal design and installation on Toronto Transit Commission’s Sheppard Line,” 2003. [Online]. Available: http://www.arema.org/files/library/2003_Conference_Proceedings/0040.pdf

R. Smith and S. Ladouceur, “Brake assurance monitor,” US Patent 4 835 693, May 30, 1989. [Online]. Available: http://www.google.com/patents?id=mAo6AAAAEBAJ

S. Balogh and R. Smith, “London Transport’s Countdown system - a leader in the bus transport revolution,” in IEE Colloquium on Public Transport Information and Management Systems, May 1993, pp. 7/1–7/3. [Online]. Available: http://ieeexplore.ieee.org/search/srchabstract.jsp?tp=&arnumber=274472

H. Sporleder, “Continuous automatic train control and cab signalling with the LZB 80,” in International Conference on Main Line Railway Electrification, Sep. 1989, pp. 40–46. [Online]. Available: http://ieeexplore.ieee.org/search/freesrchabstract.jsp?tp=&arnumber=51840

A. S. Eve, W. A. Steel, G. W. Olive, A. R. McEwan, and J. H. Thompson, “Reception experiments in Mount Royal Tunnel,” Proceedings of the Institute of Radio Engineers, vol. 17, no. 2, pp. 347–376, Feb. 1929. [Online]. Available: http://doi.org/bpc

J. P. Leonardo, K. M. Watling, J. P. Smith, and P. Stefow, “Signal design and installation on Toronto Transit Commission’s Sheppard Line,” 2003. [Online]. Available: http://www.arema.org/files/library/2003_Conference_Proceedings/0040.pdf

B. R. Stokes, “BART: The new look in rapid transit,” Proceedings of the IEEE, vol. 56, no. 4, pp. 616–624, Apr. 1968. [Online]. Available: http://doi.org/bqr

M. N. Taraszkiewicz, “Mid-life structural assessment of transit rail cars at WMATA,” in Proceedings of the 2002 ASME/IEEE Joint Rail Conference, 2002, pp. 65–72. [Online]. Available: http://doi.org/brx

A. S. Eve, W. A. Steel, G. W. Olive, A. R. McEwan, and J. H. Thompson, “Reception experiments in Mount Royal Tunnel,” Proceedings of the Institute of Radio Engineers, vol. 17, no. 2, pp. 347–376, Feb. 1929. [Online]. Available: http://doi.org/bpc

G. M. Thorne-Booth, “Signaling of remotely controlled railway trains,” IEEE Transactions on Communication Technology, vol. 16, no. 3, pp. 369–364, Jun. 1968. [Online]. Available: http://doi.org/brb

J. W. Brownson and G. M. Thorne-Booth, “Strategic control of the San Francisco Bay Area Rapid Transit system,” IEEE Transactions on Industry and General Applications, vol. 7, no. 5, pp. 570–575, 1971. [Online]. Available: http://doi.org/bpv

J. Tietz, “The boy who loved transit: how the system failed an obsession,” Harper’s Magazine, pp. 43–51, May 2002. [Online]. Available: http://www.harpers.org/archive/2002/05/0079165

D. B. Turner, “Reliability improvement of BART vehicle train control,” in 29th IEEE Vehicular Technology Conference, vol. 29, 1979, pp. 279–288. [Online]. Available: http://doi.org/bqs

H. Uebel, “Automatic control of trackbound vehicles,” Electrical Communication, vol. 52, no. 4, pp. 279–282, 1977.

K. U. Dobler and H. Uebel, “Train detection system operating in accordance with the axle-counting principle,” US Patent 4 787 581, Nov. 29, 1988. [Online]. Available: http://www.google.com/patents?id=6HA0AAAAEBAJ

K. U. Dobler, W. Jakob, K. Eltzschig, and H. Uebel, “System for the demand-dependent control of guided vehicles,” US Patent 4 015 804, Apr. 5, 1977. [Online]. Available: http://www.google.com/patents?id=mFcwAAAAEBAJ

H. Uebel and A. C. Knight, “New German developments in the field of train detection,” IEE Proceedings, vol. 134, no. 3, pp. 167–175, May 1987. [Online]. Available: http://doi.org/c4k

H. Uebel, “Signalling system for German high speed lines,” in International Conference on Main Line Railway Electrification, Sep. 1989, pp. 36–39. [Online]. Available: http://ieeexplore.ieee.org/search/freesrchabstract.jsp?tp=&arnumber=51839

P. R. Wallace, “Optimising vehicle positioning systems on automatic railways—a case study,” in International Conference on Developments in Mass Transit Systems, Apr. 1998, pp. 202–207. [Online]. Available: http://doi.org/bnw

P. R. Wallace and D. C. West, “Systems engineering applied to a system performance testing programme on the Docklands light railway,” in IEE Colloquium on Systems Engineering on a Large Capital Railway Project, 1994, pp. 2/1–2/5. [Online]. Available: http://ieeexplore.ieee.org/search/freesrchabstract.jsp?tp=&arnumber=383660

D. Wanless and M. Hart, “Automatic ticketing on London underground,” Transport Reviews, vol. 9, no. 4, pp. 361–370, 1989. [Online]. Available: http://doi.org/brs

D. C. Warner, “Implementing a 21st century fare collection system on a 20th century zone system,” 2009. [Online]. Available: http://www.arema.org/files/library/2009_Conference_Proceedings/Implementing_a_21st_Century_Fare_Collection_System_on_a_20th_Century_Zone_System.pdf

J. P. Leonardo, K. M. Watling, J. P. Smith, and P. Stefow, “Signal design and installation on Toronto Transit Commission’s Sheppard Line,” 2003. [Online]. Available: http://www.arema.org/files/library/2003_Conference_Proceedings/0040.pdf

P. R. Wallace and D. C. West, “Systems engineering applied to a system performance testing programme on the Docklands light railway,” in IEE Colloquium on Systems Engineering on a Large Capital Railway Project, 1994, pp. 2/1–2/5. [Online]. Available: http://ieeexplore.ieee.org/search/freesrchabstract.jsp?tp=&arnumber=383660

C. R. White and R. Harding, “Line management–positive train identification,” IEE Review, vol. 36, no. 4, pp. 155–158, Apr. 1990. [Online]. Available: http://ieeexplore.ieee.org/search/srchabstract.jsp?tp=&arnumber=215950

D. White, “Planning a 42-hour railway,” Engineering Management Journal, vol. 10, no. 4, pp. 188–193, Aug. 2000. [Online]. Available: http://doi.org/c3c

M. Halinaty, F. Whitwam, and P. L. Chiu, “Challenges of implementing CBTC on an existing railway (SelTrac comes to the London Underground),” October 2005. [Online]. Available: http://www.irse.org.sg/reference_documents/Convention%20Papers/IRSE%20Paper%209%20-%20PL%20Chui.pdf

P. A. Laplante and F. C. Woolsey, “IEEE 1473: An open-source communications protocol for railway vehicles,” IT Professional, vol. 5, no. 6, pp. 12–16, 2003. [Online]. Available: http://doi.org/bsn

F. P. Wyman and H. J. Helfand, “Analysis of revenue collection operations in the Washington Metro Rail System,” Interfaces, vol. 7, no. 3, pp. 28–31, May 1977. [Online]. Available: http://www.jstor.org/stable/25059466

S. Raney and S. E. Young, “Morgantown people mover—updated description,” 2004. [Online]. Available: http://www.cities21.org/morgantown_TRB_111504.pdf

G. de Koning Gans, J.-H. Hoepman, and F. D. Garcia, “A practical attack on the MIFARE Classic,” CoRR, vol. abs/0803.2285, 2008. [Online]. Available: http://arxiv.org/abs/0803.2285

R. A. van Eck and N. Grief, “The BART car systems and maintenance philosophies,” IEEE Transactions on Industry Applications, vol. 10, no. 5, pp. 553–559, 1974. [Online]. Available: http://doi.org/bqt

B. Le Jeune, “ROUTES: London’s computerised travel enquiry system,” in International Conference on Public Transport Electronic Systems, 1996, pp. 95–99. [Online]. Available: http://doi.org/br4

Office of Technology Assessment, Automatic Train Control in Rail Rapid Transit. U. S. Government Printing Office, May 1976. [Online]. Available: http://ntl.bts.gov/lib/7000/7300/7310/7614.htm

Trak Com Wireless, Inc., “Montreal Metro,” 2005, project data sheet. [Online]. Available: http://www.trakcom.com/images/pdf/STMProjInfo.pdf