E. A. Lee, Cyber Physical Systems: Design Challenges, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), pp.363-369, 2008.
DOI : 10.1109/ISORC.2008.25
URL : http://chess.eecs.berkeley.edu/pubs/427/Lee_CyberPhysical_ISORC.pdf

P. Derler, E. A. Lee, and A. Sangiovanni-vincentelli, Modeling Cyber???Physical Systems, Proceedings of the IEEE, pp.13-28
DOI : 10.1109/JPROC.2011.2160929

P. H. Feiler and D. P. Gluch, Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language, 2012.

S. Aerospace, SAE AS5506B: Architecture Analysis & Design Language (AADL) Standard Document, 2012.

E. Ahmad, B. R. Larson, S. C. Barrett, N. Zhan, and Y. Dong, Hybrid Annex: An AADL Extension for Continuous Behavior and Cyber-Physical Interaction Modeling, Proceedings of ACM Annual Conference on High Integrity Language Technology (HILT), pp.29-38, 2014.

K. Hu, T. Zhang, Z. Yang, and W. Tsai, Exploring AADL verification tool through model transformation, Journal of Systems Architecture, vol.61, issue.3-4, pp.141-156, 2015.
DOI : 10.1016/j.sysarc.2015.02.003
URL : https://hal.archives-ouvertes.fr/hal-01285662

A. Johnsen, K. Lundqvist, P. Pettersson, and O. Jaradat, Automated Verification of AADL-Specifications Using UPPAAL, 2012 IEEE 14th International Symposium on High-Assurance Systems Engineering, pp.130-138, 2012.
DOI : 10.1109/HASE.2012.22

K. G. Larsen, Priced Timed Automata and Statistical Model Checking, Proceedings of International Conference on Integrated Formal Methods (IFM), pp.154-161, 2013.

P. Bulychev, A. David, K. G. Larsen, M. Mikucionis, D. B. Poulsen et al., UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata, Proceedings of International Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL), 2012, pp.1-16
DOI : 10.1007/s10009-005-0187-8
URL : http://arxiv.org/pdf/1207.1272

A. David, K. G. Larsen, A. Legay, M. Mikucionis, and Z. Wang, Time for Statistical Model Checking of Real-Time Systems, Proceedings of International Conference on Computer Aided Verification (CAV), pp.349-355, 2011.
DOI : 10.1007/s10009-005-0187-8

E. Jahier, N. Halbwachs, P. Raymond, X. Nicollin, and D. Lesens, Virtual execution of AADL models via a translation into synchronous programs, Proceedings of the 7th ACM & IEEE international conference on Embedded software , EMSOFT '07, pp.134-143, 2007.
DOI : 10.1145/1289927.1289951
URL : https://hal.archives-ouvertes.fr/hal-00189563

A. Al-nayeem, M. Sun, X. Qiu, L. Sha, S. P. Miller et al., A Formal Architecture Pattern for Real-Time Distributed Systems, 2009 30th IEEE Real-Time Systems Symposium, pp.161-170, 2009.
DOI : 10.1109/RTSS.2009.50
URL : http://www.cs.uiuc.edu/%7Eqiu2/rtss.pdf

S. Björnander, L. Grunske, and K. Lundqvist, Timed Simulation of Extended AADL-Based Architecture Specifications with Timed Abstract State Machines, International Conference on the Quality of Software Architectures, pp.101-115, 2009.
DOI : 10.1109/HASE.2008.32

B. R. Larson, P. Chalin, and J. Hatcliff, BLESS: Formal Specification and Verification of Behaviors for Embedded Systems with Software, Proceedings of NASA Formal Methods, pp.276-290, 2013.
DOI : 10.1007/978-3-642-38088-4_19

L. Zou, J. Lv, S. Wang, N. Zhan, T. Tang et al., Verifying Chinese Train Control System under a Combined Scenario by Theorem Proving, Proceedings of Verified Software: Theories, Tools, Experiments (VSTTE), pp.262-280, 2013.
DOI : 10.1007/978-3-642-54108-7_14

J. P. Bodeveix, M. Filali, M. Garnacho, R. Spadotti, and Z. Yang, Towards a verified transformation from AADL to the formal component-based language FIACRE, Science of Computer Programming, vol.106, pp.30-53, 2015.
DOI : 10.1016/j.scico.2015.03.003
URL : https://hal.archives-ouvertes.fr/hal-01278902

E. Clarke, O. Grumberg, and D. Peled, Model Checking, 1999.

G. Box and M. E. Muller, A Note on the Generation of Random Normal Deviates, The Annals of Mathematical Statistics, vol.29, issue.2, pp.601-611, 1958.
DOI : 10.1214/aoms/1177706645

E. Ahmad, Y. Dong, B. R. Larson, J. Lv, T. Tang et al., Behavior Modeling and Verification of Movement Authority Scenario of Chinese Train Control System Using AADL Statistical Model Checking: Challenges and Perspectives, Science China Information Sciences International Journal on Software Tools for Technology Transfer (STTT), vol.58, issue.17 4, pp.1-20, 2015.

M. Chen, D. Yue, X. Qin, X. Fu, and P. Mishra, Variation-Aware Evaluation of MPSoC Task Allocation and Scheduling Strategies using Statistical Model Checking, Design, Automation & Test in Europe Conference & Exhibition (DATE), 2015, pp.199-204, 2015.
DOI : 10.7873/DATE.2015.0448

H. Bruintjes, J. Katoen, and D. Lesens, A Statistical Approach for Timed Reachability in AADL Models, 2015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, pp.81-88, 2015.
DOI : 10.1109/DSN.2015.32

M. Fitting, First-Order Logic and Automated Theorem Proving, 1995.
DOI : 10.1007/978-1-4684-0357-2

X. Wei, Y. Dong, and H. Ye, QaSten: Integrating Quantitative Verification with Safety Analysis for AADL Model, 2015 International Symposium on Theoretical Aspects of Software Engineering, pp.103-110, 2015.
DOI : 10.1109/TASE.2015.10

A. David, K. G. Larsen, A. Legay, M. Mikucionis, D. B. Poulsen et al., Statistical Model Checking for Networks of Priced Timed Automata, Proceedings of International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), pp.80-96, 2011.
DOI : 10.1145/1755952.1755987

P. Gupta, Y. Agarwal, L. Dolecek, N. Dutt, R. K. Gupta et al., Underdesigned and Opportunistic Computing in Presence of Hardware Variability, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol.32, issue.1, pp.8-23, 2013.
DOI : 10.1109/TCAD.2012.2223467

P. J. Cuijpers and M. A. Reniers, Hybrid process algebra, The Journal of Logic and Algebraic Programming, vol.62, issue.2, pp.191-245, 2005.
DOI : 10.1016/j.jlap.2004.02.001
URL : https://doi.org/10.1016/j.jlap.2004.02.001

F. Pukelsheim, The Three Sigma Rule, American Statistician, vol.48, pp.88-91, 1994.
DOI : 10.2307/2684253