D. Aldous, Probability Approximations via the Poisson Clumping Heuristic, Applied Mathematical Sciences, vol.77, 1989.
DOI : 10.1007/978-1-4757-6283-9

J. W. Andrews, J. D. Welch, and H. Erzberger, Safety analysis for advanced separation concepts, Proceedings of USA, pp.27-30, 2005.

L. Arnold, P. Imkeller, N. Sri, and . Namachchivaya, The Asymptotic Stability of weakly perturbed two dimensional Hamiltonian Systems, Proceedings of the 18-th Biennal of Conference on Mechanical Vibration and Noise ASME Design Engineering Technical Conferences, 2001.

B. G. Bakker, H. Kremer, and H. A. Blom, Geometric and probabilistic approach towards conflict prediction in free flight, 1999.

G. J. Bakker and H. A. Blom, Air traffic collision risk modelling, Proceedings of 32nd IEEE Conference on Decision and Control, pp.1464-1469, 1993.
DOI : 10.1109/CDC.1993.325430

H. A. Blom, G. J. Bakker, P. J. Blanker, J. Daams, M. H. Everdij et al., Accident risk assessment for advanced atm, Proceedings of the 2nd U.S.A/Europe Air Traffic Management R&D seminar, 1998.

H. A. Blom and J. Lygeros, Stochastic Hybrid Systems: Theory and Safety Critical Applications. LNCIS series, 2006.
DOI : 10.1007/11587392

H. A. Blom and G. J. Bakker, Conflict probability and incrossing probability in air traffic management, Proceedings of the 41st IEEE Conference on Decision and Control, 2002., pp.2421-2426, 2002.
DOI : 10.1109/CDC.2002.1184198

H. A. Blom, G. J. Bakker, P. J. Blanker, J. Daams, M. H. Everdij et al., Air Transport Systems Engineering, chapter Accident risk assessment for advanced air traffic management, pp.463-480, 2001.

H. A. Blom, G. J. Bakker, M. H. Everdij, M. N. Van, and . Park, Collision risk modeling of air traffic, Proc. European Control Conf, 2003.

H. A. Blom, G. J. Bakker, B. Klein-obbink, and M. B. Klompstra, Free flight safety risk modelling and simulation, Proceedings of International Conference on Research in Air Transportation (ICRAT), pp.26-28, 2006.

H. A. Blom, K. M. Corker, and S. H. Stroeve, On the integration of human performance and collision risk simulation models of runway operation, Proceedings of the 6th USA, pp.27-30, 2005.

H. A. Blom, J. Daams, and H. B. Nijhuis, Air Transportation Systems Engineering, volume 193 of Progress in Astronautics and Aeronautics, chapter Human cognition modeling in Air Traffic Management safety assessment, pp.481-511, 2001.

H. A. Blom, M. B. Klompstra, and G. J. Bakker, Accident risk assessment of simultaneous converging instrument approaches, Air Traffic Control Quarterly, vol.11, pp.123-155, 2003.

H. A. Blom and S. H. Stroeve, Multi-Agent Situation Awareness Error Evolution in Air Traffic, Proc. 7th Conference on Probabilistic Safety Assessment & Management, 2004.
DOI : 10.1007/978-0-85729-410-4_44

H. A. Blom, S. H. Stroeve, M. H. Everdij, M. N. Van, and . Park, Human cognition performance model to evaluate safe spacing in air traffic, Human Factors and Aerospace Safety, vol.2, pp.59-82, 2003.

M. L. Bujorianu, Extended stochastic hybrid systems, Proceedings of Hybrid Systems Computation and Control, LNCIS number 2993, pp.234-249, 2004.

M. L. Bujorianu and J. Lygeros, Reachability Questions in Piecewise Deterministic Markov Processes, Proceedings of Hybrid Systems Computation and Control, LNCIS number 2623, pp.126-140, 2003.
DOI : 10.1007/3-540-36580-X_12

M. L. Bujorianu and J. Lygeros, Stochastic Hybrid Systems, pp.3-30, 2006.
DOI : 10.1007/978-1-4471-2795-6_4

L. Burt, Results of route space calculations, progress report, 1995.

C. G. Cassandras and S. Lafortune, Introduction to Discrete Event Systems, 1999.

F. Cérou, P. Del-moral, F. Le-gland, and P. Lezaud, Limit theorems for the multilevel splitting algorithm in the simulation of rare events, Proceedings of the Winter Simulation Conference, 2005., 2005.
DOI : 10.1109/WSC.2005.1574309

F. Cérou and A. Guyader, Adaptive multilevel splitting for rare event analysis. To appear in Stochastic Analysis and its Applications, 2007.

F. P. Cérou, P. Del-moral, F. Le-gland, and P. Lezaud, Genetic genealogical models in rare event analysis, 2002.

S. Cohen and S. Hockaday, A Concept Paper for Separation Safety Modeling, an FAA/EUROCONTROL Cooperative Effort on Air Traffic Modeling for Separation Standards, FAA and EUROCONTROL, 1998.

K. Corker, Cognitive Engineering in the Aviation Domain, chapter Cognitive Models & Control: Human & System Dynamics in Advanced Airspace Operations

R. David and H. Alla, Petri nets for modeling of dynamic systems, Automatica, vol.30, issue.2, pp.175-202, 1994.
DOI : 10.1016/0005-1098(94)90024-8

M. H. Davis, Markov models and optimization, 1993.
DOI : 10.1007/978-1-4899-4483-2

E. De-santis, M. D. Di-benedetto, S. D. Gennaro, A. D. Innocenzo, and G. Pola, Stochastic Hybrid Systems: Theory and Safety Critical Applications, chapter Critical observability of a class of hybrid systems and application to air traffic management LNCIS series, pp.141-170, 2006.

P. and D. Moral, Feynman-Kac Formulae. Genealogical and Interacting Particle Systems with Applications. Probability and its Applications, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00410165

P. , D. Moral, and P. Lezaud, Branching and interacting particle interpretation of rare event probabilities, Stochastic Hybrid Systems: Theory and Safety Critical Applications, LNCIS series, pp.351-389, 2006.

D. V. Dimarogonas, S. G. Loizou, and K. J. Kyriapoulos, Stochastic Hybrid Systems: Theory and Safety Critical Applications, chapter Multirobot navigation functions II: towards decentralization, LNCIS series, pp.209-256, 2006.
DOI : 10.1007/11587392_7
URL : http://dspace.lib.ntua.gr/handle/123456789/17397

A. Doucet, N. De-freitas, and N. Gordon, Sequential Monte Carlo Methods in Practice, 2001.
DOI : 10.1007/978-1-4757-3437-9

M. R. Endsley, Toward a Theory of Situation Awareness in Dynamic Systems, Human Factors: The Journal of the Human Factors and Ergonomics Society, vol.37, issue.1, pp.32-64, 1995.
DOI : 10.1518/001872095779049543

H. Erzberger, Transforming the NAS: The next generation air traffic control system, Proceedings of the 24th Int. Congress of the Aeronautical Sciences (ICAS), 2004.

M. H. Everdij and H. A. Blom, Bias and uncertainty in accident risk assessment, 2002.

M. H. Everdij and H. A. Blom, Analysis and design of hybrid systems, chapter Petri-nets and hybrid-state Markov processes in a power-hierarchy of dependability models, pp.313-318, 2003.

M. H. Everdij and H. A. Blom, Petri nets and hybrid state Markov processes in a power-hierarchy of dependability models, Proceedings of IFAC Conference on Analysis and Design of Hybrid Systems, pp.355-360, 2003.

M. H. Everdij and H. A. Blom, Piecewise deterministic Markov processes represented by dynamically coloured Petri nets, Stochastics An International Journal of Probability and Stochastic Processes, vol.691, issue.1, pp.1-29, 2005.
DOI : 10.1109/9.665073
URL : http://reports.nlr.nl:8080/xmlui/bitstream/10921/370/1/TP-2006-681.pdf

M. H. Everdij and H. A. Blom, Stochastic Hybrid Systems: Theory and Safety Critical Applications, chapter Hybrid Petri nets with diffusion that have into-mappings with generalised stochastic hybrid processes, LNCIS series, pp.31-64, 2006.

M. H. Everdij, H. A. Blom, and G. J. , (Bert) Bakker. Modeling lateral spacing and separation for airborne separation assurance using petri nets. Simulation, Transactions of the Society for Modeling and Simulation International, 2006.

M. H. Everdij, H. A. Blom, and S. H. Stroeve, Structured assessment of bias and uncertainty in Monte Carlo simulated accident risk, Proceedings of the 8th Int. Conf. on Probabilistic Safety Assessment and Management (PSAM8), 2006.

M. H. Everdij, M. B. Klompstra, H. A. Blom, B. Klein, and . Obbink, Stochastic Hybrid Systems: Theory and Safety Critical Applications, chapter Compositional specification of a multi-agent system by stochastically and Dynamically Coloured Petri Nets LNCIS series, pp.325-350, 2006.

M. I. Freidlin and A. D. , Random perturbations of dynamical systems, 1984.

P. Glasserman, Monte Carlo methods in financial engineering, volume 53 of Stochastic Modeling and Applied Probability, 2003.

P. J. Haas, Stochastic Petri Nets, Modeling, Stability, Simulation

J. Hoekstra, Designing for safety: the ???free flight??? air traffic management concept, Reliability Engineering & System Safety, vol.75, issue.2, 2001.
DOI : 10.1016/S0951-8320(01)00096-5

E. Hoffman, Contribution to Aircraft Performance Modeling for ATC, Air Traffic Control Quaterly, vol.2, issue.2, pp.103-130, 1994.

D. A. Hsu, The Evaluation of Aircraft Collision Probabilities at Intersecting Air Routes, Journal of Navigation, vol.19, issue.01, pp.78-102, 1981.
DOI : 10.1287/trsc.7.2.158

J. Hu, M. Prandini, and S. Sastry, Probabilistic safety analysis in three-dimensional aircraft flight, Proc. 42nd IEEE CDC, 2003.

. Icao, Review of the general concept separation panel. 6th meeting, p.1, 1988.

. Icao, Manual on airspace planning methodology for the determination of separation minima. ICAO Doc. 9689-AN/953, 1998.

. Icao, Airborne separation assistance system (asas) circular. Draft, version 3, SCRSP, WGW/1 WP/5.0, International Civil Aviation Organization, 2003.

K. Jensen, Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, 1992.

H. H. De and . Jong, Guidelines for the identification of hazards; how to make unimaginable hazards imaginable? National Aerospace Laboratory NLR, Contract report for Eurocontrol, 2004.

I. Karatzas and S. Shreve, Brownian Motion and Stochastic Calculus, 2000.
DOI : 10.1007/978-1-4612-0949-2

S. Karlin and H. Taylor, A Second Course in Stochastic Processes, 1982.

T. Kletz, Hazop and Hazan; identifying and assessing process industry hazards, The Institution of Chemical Engineers, 1999.

J. Krystul and H. A. Blom, Monte Carlo simulation of rare events in hybrid system, 2004.

J. Krystul and H. A. Blom, SEQUENTIAL MONTE CARLO SIMULATION OF RARE EVENT PROBABILITY IN STOCHASTIC HYBRID SYSTEMS, Proceedings of the 16th IFAC World Congress, 2005.
DOI : 10.3182/20050703-6-CZ-1902.00382

J. Krystul and H. A. Blom, Sequential Monte Carlo simulation for the estimation of small reachability probabilities for stochastic hybrid systems, Proceedings of IEEE-EURASIP Int. Proceedings of IEEE-EURASIP Int. Symposium on Control, Communications and Signal Processing, 2006.

J. Krystul, H. A. Blom, and A. Bagchi, Stochastic hybrid processes as solutions to stochastic differential equations, Stochastic Hybrid Systems: Recent Developments and Research Trends, 2006.

J. Krystul and H. A. Blom, Generalized stochastic hybrid processes as strong solutions of stochastic differential equations, 2005.

H. Kumamoto and E. J. Henley, Probabilistic Risk Assessment and management for engineers and scientists, 1996.

A. B. Kurzhanski and P. Varaiya, On Reachability Under Uncertainty, SIAM Journal on Control and Optimization, vol.41, issue.1, pp.181-216, 2002.
DOI : 10.1137/S0363012999361093
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.2781

P. E. Labeau, C. Smidts, and S. Swaminathan, Dynamic reliability: towards an integrated platform for probabilistic risk assessment, Reliability Engineering & System Safety, vol.68, issue.3, pp.219-254, 2000.
DOI : 10.1016/S0951-8320(00)00017-X

A. Lagnoux, RARE EVENT SIMULATION, Probability in the Engineering and Informational Sciences, vol.8, issue.01, pp.45-66, 2006.
DOI : 10.1214/aoap/1034968137
URL : https://hal.archives-ouvertes.fr/hal-00644139

F. , L. Gland, and N. Oudjane, A sequential algorithm that keeps the particle system alive, Stochastic Hybrid Systems : Theory and Safety Critical Applications, LNCIS series, pp.351-400, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00001090

M. R. Leadbetter, G. Lindgren, and H. Rootzen, Extremes and Related Properties of Random Sequences and Processes, 1983.
DOI : 10.1007/978-1-4612-5449-2

A. Lecchini, W. Glover, J. Lygeros, and J. Maciejowski, Stochastic Hybrid Systems: Theory and Safety Critical Applications, chapter Monte Carlo optimisation for conflcit resolution in air traffic control, LNCIS series, pp.257-276, 2006.

B. and K. Obbink, MFF airborne self separation assurance OSED. Report MFF R733D, 2005.

R. A. Paielli and H. Erzberger, Conflict probability estimation for free flight, 35th Aerospace Sciences Meeting and Exhibit, pp.588-596, 1997.
DOI : 10.2514/6.1997-1

G. Pola, M. Bujorianu, J. Lygeros, M. D. Di, and . Benedetto, Stochastic hybrid models: an overview with applications to air traffic management, Proceedings of IFAC Conf. Analysis and Design of Hybrid Systems (ADHS), Saint Malo, 2003.

M. Prandini and J. Hu, Stochastic Hybrid Systems: Theory and Safety Critical Applications, chapter A stochastic approxmation method for reachability computations LNCIS series, pp.107-139, 2006.

M. Prandini and J. Hu, Stochastic Reachability, Stochastic Hybrid Systems: Recent Developments and Research Trends, 2006.
DOI : 10.1201/9781420008548.ch5

M. Prandini, J. Hu, S. Lygeros, and J. Sastry, A probabilistic approach to aircraft conflict detection, IEEE Transactions on Intelligent Transportation Systems, vol.1, issue.4, pp.199-220, 2000.
DOI : 10.1109/6979.898224

M. Prandini, J. Lygeros, A. Nilim, and S. Sastry, A probabilistic framework for aircraft conflict detection, Guidance, Navigation, and Control Conference and Exhibit, 1999.
DOI : 10.2514/6.1999-4144

H. J. Rome and V. Krishnan, Causal probabilistic model for evaluating future transoceanic airline separations, IEEE Transactions on Aerospace and Electronics Systems, pp.804-817, 1990.
DOI : 10.1109/7.102715

A. P. Shah, A. R. Pritchett, K. M. Feigh, S. A. Kalarev, A. Jadhav et al., Analyzing air traffic management systems using agentbased modeling and simulation, Proceedings of the 6th USA/Europe Seminar on Air Traffic Management Research and Development, pp.27-30, 2005.

R. Sheperd, R. Cassell, R. Thava, and D. Lee, A reduced aircraft separation risk assessment model, Proceedings of the AIAA Guidance, Navigation and Control Conference, 1997.

S. H. Stroeve, H. A. Blom, M. N. Van, and . Park, Multi-agent situation awareness error evolution in accident risk modeling, Proceedings of the 5th USA, pp.23-27, 2003.

O. Strter, V. Dang, B. Kaufer, and A. Daniels, On the way to assess errors of commission, Reliability Engineering & System Safety, vol.83, issue.2, pp.129-138, 2004.
DOI : 10.1016/j.ress.2003.09.004