@article(alur2,
 author       = "R. Alur and C. Courcoubetis and T. Henziger and P. Ho",
 year         = "1993",
 title        = "Hybrid automata: an algorithmic approach to the specification and verification of hybrid systems",
 journal      = "Lecture Notes in Computer Science",
 volume       = "736",
 pages        = "209--229",
 doi          = "10.1007/3-540-57318-6\_30",
)
@article(alur,
 author       = "R. Alur and D. Dill",
 year         = "1990",
 title        = "Automata For Modeling Real-Time Systems",
 journal      = "Lecture Notes in Computer Science",
 volume       = "443",
 pages        = "322--335",
 doi          = "10.1007/BFb0032042",
)
@inproceedings(alur3,
 author       = "R. Alur and T.A. Henzinger",
 year         = "1997",
 title        = "Modularity for timed and hybrid systems",
 booktitle    = "Ninth International Conference on Concurrency Theory",
 series       = "Lecture Notes in Computer Science",
 volume       = "1243",
 publisher    = "Springer",
 pages        = "74--88",
 doi          = "10.1007/3-540-63141-0\_6",
)
@techreport(tec_rep,
 author       = "M. Capiluppi and R. Segala",
 year         = "2012",
 title        = "Hybrid automata with worlds: A compositional approach to modeling objects that move in a complex environment",
 type         = "Technical Report",
 number       = "RR 87/2012",
 institution  = "Department of Computer Science, University of Verona",
)
@inproceedings(sousa,
 author       = "J. B. De Sousa and K. H. Johansson and A. Speranzon and J. Silva",
 year         = "2005",
 title        = "A control architecture for multiple submarines in coordinated search missions",
 booktitle    = "16th IFAC World Congress on Automatic Control",
)
@article(shift,
 author       = "A. Deshpande and A. Gollu and L. Semenzato",
 year         = "1998",
 title        = "The SHIFT Programming Language for Dynamic Networks of Hybrid Automata",
 journal      = "IEEE Transactions on automatic control",
 volume       = "43",
 number       = "4",
 doi          = "10.1109/9.664163",
)
@article(decidable,
 author       = "T.A. Henzinger and P.W. Kopke and A. Puri and P Varaiya",
 year         = "1998",
 title        = "What's decidable about hybrid automata?",
 journal      = "Journal of Computer and System Sciences",
 volume       = "57",
 pages        = "94--124",
 doi          = "10.1006/jcss.1998.1581",
)
@article(polycarpou,
 author       = "Y. Jin and Y. Liao and M.M. Polycarpou",
 year         = "2006",
 title        = "Balancing search and target response in cooperative unmanned aerial vehicle (UAV) teams",
 journal      = "IEEE Transactions on systems, man, and cybernetics",
 volume       = "38/3",
)
@article(TIOA,
 author       = "D.K Kaynar and N. Lynch and R. Segala and F. Vaandrager",
 year         = "2006",
 title        = "The Theory of Timed I/O Automata",
 journal      = "Synthesis Lectures on Computer Science",
 doi          = "10.2200/S00006ED1V01Y200508CSL001",
)
@article(segala,
 author       = "N. Lynch and R. Segala and F. Vaandrager",
 year         = "2003",
 title        = "Hybrid I/O automata",
 journal      = "Information and Computation",
 volume       = "185",
 pages        = "105--157",
 doi          = "10.1016/S0890-5401(03)00067-1",
)
@inproceedings(adhs12,
 author       = "E.N. Marinica and M. Capiluppi and J.A. Rogge and R. Segala and R.K. Boel",
 year         = "2012",
 title        = "Distributed collision avoidance for autonomous vehicles: world automata representation",
 booktitle    = "4th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS)",
)
@inproceedings(helicopter,
 author       = "S. Mitra and Y. Wang and N. Lynch and E. Feron",
 year         = "2003",
 title        = "Safety verification of model helicopter controller using hybrid input/output automata",
 editor       = "O. Maler and A. Pnueli",
 booktitle    = "Hybrid Systems: Computation and Control",
 series       = "Lecture Notes in Computer Science",
 volume       = "2623",
 publisher    = "Springer-Verlag, Berlin",
 pages        = "343--358",
 doi          = "10.1007/3-540-36580-X\_26",
)
@inproceedings(cif,
 author       = "C. Sonntag and R.R.H. Schiffelers and D.A. van Beek and J.E. Rooda and S. Engell",
 year         = "2009",
 title        = "Modeling and Simulation using the Compositional Interchange Format for Hybrid Systems",
 booktitle    = "MATHMOD 2009 - 6th Vienna International Conference on Mathematical Modelling",
 pages        = "640--650",
)
@article(road,
 author       = "P. Varaiya",
 year         = "1993",
 title        = "Smart Cars on Smart Roads: Problems of Control",
 journal      = "IEEE Transactions on automatic control",
 volume       = "38/2",
 pages        = "195--207",
 doi          = "10.1109/9.250509",
)
@inproceedings(roadcontrol,
 author       = "J.L.M. Vrancken and J.H. van Schuppen and M.S. Soares and F. Ottenhof",
 year         = "2009",
 title        = "A hierarchical model and implementation architecture for road traffic control",
 booktitle    = "2009 IEEE International Conference on Systems, Man and Cybernetics",
 doi          = "10.1109/ICSMC.2009.5346841",
)