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

Comments and questions to:
For website issues: