C. Andre, Representation and analysis of reactive behaviors: A synchronous approach, Symposium on discrete events and manufacturing systems, 21 pages, 1996.

S. K. Baruah, L. E. Rosier, and R. R. Howell, Algorithms and complexity concerning the preemptive scheduling of periodic, real-time tasks on one processor, Real-Time Systems, vol.2, issue.4, pp.301-324, 1990.
DOI : 10.1007/BF01995675

G. Berry, Preemption in concurrent systems, 13th Conference on Foundations of Software Technology and Theoretical Computer Science, pp.72-93, 1993.
DOI : 10.1007/3-540-57529-4_44

M. Bouissou and J. L. Bon, A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes, Reliability Engineering & System Safety, vol.82, issue.2, pp.149-163, 2003.
DOI : 10.1016/S0951-8320(03)00143-1

P. Carer, J. Bellvis, M. Bouissou, J. Domergue, and J. Pestourie, A new method for reliability assessment of electrical power supplies with standby redundancies, 7th International Conference on Probabilistic Methods Applied to Power Systems (PMAPS02). Napoli (Italy). 6 pages, 2002.

P. Chaux, J. M. Roussel, J. J. Lesage, G. Deleuze, and M. Bouissou, Systematic extraction of minimal cut sequences from a BDMP model, 21th European Safety & Reliability Conference (ESREL'12). Helsinki (Finland). Session 16B, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00782735

T. Hall, M. Schwartz, and S. Hamer, Gps-based traffic control preemption system, US Patent, vol.5539, p.398, 1996.

S. Kriaa, M. Bouissou, and L. Pietre-cambacedes, Modeling the Stuxnet attack with BDMP: Towards more formal risk assessments, 2012 7th International Conference on Risks and Security of Internet and Systems (CRiSIS), 2012.
DOI : 10.1109/CRISIS.2012.6378942
URL : https://hal.archives-ouvertes.fr/hal-01222960

L. Pietre-cambacedes and M. Bouissou, Attack and Defense Modeling with BDMP, Computer Network Security, pp.86-101, 2010.
DOI : 10.1007/978-3-642-14706-7_7

P. Y. Piriou, J. M. Faure, and J. J. Lesage, Controlin-the-loop model based safety analysis, 24th European Safety & Reliability Conference (ESREL'14), pp.655-662, 2014.