Bibliography

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.

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

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

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

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

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

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

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. 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

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

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

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

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

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

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

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

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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. 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

H. Strobel, Ed., Computer Controlled Urban Transportation, ser. International Series on Applied Systems Analysis. Wiley, 1982, no. 10.

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

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

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

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

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

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

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. 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

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

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

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. 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

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

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

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

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. 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. 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. 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. 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

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

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

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

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

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

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

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. 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. 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. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

“London Transport examines computer-controlled displays,” Electronics and Power, vol. 20, no. 4, p. 170, Mar. 1974. [Online]. Available: http://doi.org/btn

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

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

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

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

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. 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. S. Greenberg. (1997) Subway signals: A complete guide. [Online]. Available: http://nycsubway.org/articles/signals.html

H. M. Sperry, Ed., Electric Interlocking Handbook. Rochester: General Railway Signal Company, 1915. [Online]. Available: http://books.google.com/books?id=fPsEAAAAMAAJ

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

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

A. D. Cloud and H. H. Simmons, Eds., The railway signal dictionary. New York: Railway Age Gazette, 1911. [Online]. Available: http://books.google.com/books?id=vpJAAAAAYAAJ

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

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

H. M. Sperry, Ed., Electric Interlocking Handbook. Rochester: General Railway Signal Company, 1915. [Online]. Available: http://books.google.com/books?id=fPsEAAAAMAAJ

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

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

A. D. Cloud and H. H. Simmons, Eds., The railway signal dictionary. New York: Railway Age Gazette, 1911. [Online]. Available: http://books.google.com/books?id=vpJAAAAAYAAJ

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

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. 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

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

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.

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

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

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

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

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

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.

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

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

“SELTRAC system overview—JNUP,” Thales Rail Signalling Solutions, 2009.

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

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

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

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

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

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.

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

“London Transport examines computer-controlled displays,” Electronics and Power, vol. 20, no. 4, p. 170, Mar. 1974. [Online]. Available: http://doi.org/btn

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

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. 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

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

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

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. 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

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

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. 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

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

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. 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

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. 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

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

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.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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. 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

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

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. 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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Wireless LAN Medium Access Control (MAC) and Physical Layer (PHY) Specifications, IEEE Computer Society Std. 802.11, 2007. [Online]. Available: http://standards.ieee.org/getieee802/download/802.11-2007.pdf

“Driverless radio CBTC a “first” on new Las Vegas Monorail,” Alcatel TASbits, vol. 1, no. 1, p. 4, Oct 2002.

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

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

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. 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

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. 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

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

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.

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

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.

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

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

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

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

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

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

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

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

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

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

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

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.

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

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

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

Alcatel-Lucent Timeline. [Online]. Available: http://www.alcatel-lucent.com/wps/portal/!ut/p/kcxml/04_Sj9SPykssy0xPLMnMz0vM0Y_QjzKLd4w39fEESYGYRq6m-pEoYgbxjggRX4_83FT9IH1v_QD9gtzQiHJHR0UAHSvGjw!!/delta/base64xml/L3dJdyEvd0ZNQUFzQUMvNElVRS82X0FfSUJI

“Driverless radio CBTC a “first” on new Las Vegas Monorail,” Alcatel TASbits, vol. 1, no. 1, p. 4, Oct 2002.

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.

“SelTrac CBTC communications-based train control for urban rail,” Thales Rail Signalling Solutions, 2009. [Online]. Available: http://www.thalesgroup.com/Workarea/DownloadAsset.aspx?id=2214&LangType=2057

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

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.

“SELTRAC system overview—JNUP,” Thales Rail Signalling Solutions, 2009.

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

“SelTrac CBTC technology–advanced urban rail train control,” Data sheet, Alcatel Transport Automation Solutions, Jul 2002.

“NetTrac MT–modular central control system for urban rail,” Data sheet, Alcatel Transport Automation Solutions, Dec 2005.

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

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

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

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

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

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

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

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

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

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. 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

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

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. 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

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

“Dealing with mixed-mode operation,” Alcatel TASbits, vol. 1, no. 8, pp. 2–4, Nov. 2005.

“Driverless radio CBTC a “first” on new Las Vegas Monorail,” Alcatel TASbits, vol. 1, no. 1, p. 4, Oct 2002.

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

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

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

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

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

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

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

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

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.

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

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

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

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

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

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

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. 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

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

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.

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

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

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

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. 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

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

“Digital Equipment in the computer based controller market,” Competitive Update, vol. 2, no. 6, pp. 21–25, Feb 1983. [Online]. Available: http://www.bitsavers.org/pdf/dec/competitiveAnalysis/competitiveUpdate/830214_Computer-based_Controllers.pdf

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

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

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

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

“Vancouver SkyTrain–a proven success story,” Japan Railway and Transport Review, no. 16, pp. 44–45, June 1998. [Online]. Available: http://www.jrtr.net/jrtr16/pdf/f44_vancouver.pdf

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

“Washington subway automates,” Railway System Controls, vol. 3, no. 8, pp. 18–27, 1972.

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

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

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/

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

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

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