1. Alur R, Courcoubetis C, Halbwachs N, Henzinger TA, Ho P-H, Nicollin X, Olivero A, Sifakis J, Yovine S (1995) The algorithmic analysis of hybrid systems. Theor Comput Sci 138:3–34
2. Alur R, Dang T, Esposito J, Hur Y, Ivancic F, Kumar V, Lee I, Mishra P, Pappas G, Sokolsky O (2002) Hierarchical modeling and analysis of embedded systems. In: Proceedings of the IEEE, October 2002
3. Beck J, Chen WWL (1988) Irregularities of distribution. Cambridge Univ Press, Cambridge
4. Branicky MS, Curtiss MM, Levine J Morgan S (2005) Sampling-based reachability algorithms for control and verification of complex systems. In: Proc thirteenth Yale workshop on Adaptive and Learning Systems, New Haven, CT
5. Cheng P, LaValle S (2002) Resolution complete rapidly-exploring random trees. In: Proc IEEE International Conference on Robotics and Automation, pp 267–272