@incollection(Klaus1,
 author       = "Howard Barringer and Klaus Havelund",
 year         = "2011",
 title        = "TraceContract: A Scala DSL for Trace Analysis",
 editor       = "Michael Butler and Wolfram Schulte",
 booktitle    = "FM 2011: Formal Methods",
 series       = "Lecture Notes in Computer Science",
 volume       = "6664",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "57--72",
 doi          = "10.1007/978-3-642-21437-0\_7",
)
@article(Bect2008,
 author       = "Julien Bect",
 year         = "2010",
 title        = "A unifying formulation of the Fokker-Planck-Kolmogorov equation for general stochastic hybrid systems",
 journal      = "Nonlinear Analysis: Hybrid Systems",
 volume       = "4",
 number       = "2",
 pages        = "357 -- 370",
 doi          = "10.1016/j.nahs.2009.07.008",
 note         = "IFAC World Congress 2008",
)
@phdthesis(Berman,
 author       = "Spring Melody Berman",
 year         = "2010",
 title        = "Abstractions, analysis techniques, and synthesis of scalable control strategies for robot swarms",
 school       = "University of Pennsylvania",
 url          = "http://repository.upenn.edu/dissertations/AAI3431100",
 note         = "Dissertations available from ProQuest. Paper AAI3431100",
)
@inproceedings(BBM05,
 author       = "Manuela L Bujorianu and Marius C Bujorianu and Savi Maharaj",
 year         = "2005",
 title        = "Distributed Stochastic Hybrid Systems",
 booktitle    = "Proceedings of IFAC",
 pages        = "378--378",
 doi          = "10.3182/20050703-6-CZ-1902.00379",
)
@incollection(BLchapter,
 author       = "Manuela L. Bujorianu and John Lygeros",
 year         = "2006",
 title        = "Toward a General Theory of Stochastic Hybrid Systems",
 editor       = "HenkA.P. Blom and John Lygeros",
 booktitle    = "Stochastic Hybrid Systems",
 series       = "Lecture Notes in Control and Information Science",
 volume       = "337",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "3--30",
 doi          = "10.1007/11587392\_1",
)
@book(DA93,
 author       = "M.H.A. Davis",
 year         = "1993",
 title        = "Markov Models and Optimization",
 publisher    = "Chapman \& Hall",
)
@book(swarm,
 author       = "Heiko Hamann",
 year         = "2010",
 title        = "Space-Time Continuous Models of Swarm Robotic Systems",
 publisher    = "Springer-Verlag",
 doi          = "10.1007/978-3-642-13377-0",
)
@phdthesis(Mesquita,
 author       = "Alexandre Rodrigues Mesquita",
 year         = "2010",
 title        = "Exploiting Stochasticity in Multi-agent Systems",
 school       = "University of California",
)
@techreport(Northrop06,
 author       = "L. Northrop and P. Feiler and R. P. Gabriel and J. Goodenough and R. Linger and T. Longstaff and R. Kazman and M. Klein and D. Schmidtd and K. Sullivan and K. Wallnau",
 year         = "2006",
 title        = "{Ultra-Large-Scale Systems: The Software Challenge of the Future.}",
 type         = "Technical Report",
 institution  = "Sofwtare Engineering Institute",
 address      = "Carnegie-Mellon",
 url          = "http://www.sei.cmu.edu/uls/",
)
@article(Hinchey1,
 author       = "Joaquin Peña and ChristopherA. Rouff and Mike Hinchey and Antonio Ruiz-Cortés",
 year         = "2011",
 title        = "Modeling NASA swarm-based systems: using agent-oriented software engineering and formal methods",
 journal      = "Software \& Systems Modeling",
 volume       = "10",
 number       = "1",
 pages        = "55--62",
 doi          = "10.1007/s10270-009-0135-2",
)
@inproceedings(Pola2003,
 author       = "G Pola and ML Bujorianu and J Lygeros and MDD Benedetto",
 year         = "2003",
 title        = "Stochastic hybrid models: An overview",
 booktitle    = "Proc. IFAC Conf. Anal. Design Hybrid Syst",
 pages        = "45--50",
 doi          = "10.3182/20050703-6-CZ-1902.00396",
)
@article(Tuckwell,
 author       = "Henry C Tuckwell and Frederic YM Wan",
 year         = "1984",
 title        = "First-passage time of Markov process to moving barriers",
 journal      = "Journal of applied probability",
 pages        = "695--709",
 doi          = "10.2307/3213688",
)
@inproceedings(Wiels,
 author       = "V. Wiels and S. Easterbrook",
 year         = "1998",
 title        = "Management of evolving specifications using category theory",
 booktitle    = "Automated Software Engineering, 1998. Proceedings. 13th IEEE International Conference on",
 pages        = "12--21",
 doi          = "10.1109/ASE.1998.732561",
)