A. Arnold, B. Boyer, and A. Legay, Contracts and Behavioral Patterns for SoS: The EU IP DANSE approach, Proceedings of the 1st Workshop on Advances in Systems of Systems. EPTCS, pp.47-60, 2013.
DOI : 10.4204/EPTCS.133.6

B. Boyer, K. Corre, A. Legay, and S. Sedwards, PLASMA-lab: A Flexible, Distributable Statistical Model Checking Library, Proceedings of the 10th International Conference on Quantitative Evaluation of Systems, pp.160-164, 2013.
DOI : 10.1007/978-3-642-40196-1_12

URL : https://hal.archives-ouvertes.fr/hal-01088411

E. Cavalcante, T. Batista, and F. Oquendo, Supporting Dynamic Software Architectures: From Architectural Description to Implementation, 2015 12th Working IEEE/IFIP Conference on Software Architecture, pp.31-40, 2015.
DOI : 10.1109/WICSA.2015.21

URL : https://hal.archives-ouvertes.fr/hal-01441459

E. Cavalcante, F. Oquendo, and T. Batista, Architecture-Based Code Generation: From ??-ADL Architecture Descriptions to Implementations in the Go Language, Proceedings of the 8th European Conference on Software Architecture, pp.130-145, 2014.
DOI : 10.1007/978-3-319-09970-5_13

S. M. Cho, H. H. Kim, S. D. Cha, and D. H. Bae, Specification and validation of dynamic systems using temporal logic, IEE Proceedings - Software, vol.148, issue.4, pp.135-140, 2001.
DOI : 10.1049/ip-sen:20010558

J. Clarke, E. M. Grumberg, O. Peled, and D. A. , Model checking, 1999.

T. Hérault, R. Lassaigne, F. Magniette, and S. Peyronnet, Approximate Probabilistic Model Checking, Proceedings of the 5th International Conference on Verification, Model Checking, and Abstract Implementations, pp.73-84, 2004.
DOI : 10.1007/978-3-540-24622-0_8

G. J. Holzmann, The logic of bugs, 10th ACM SIGSOFT Symposium on Foundations of Software Engineering, pp.81-87, 2002.

C. Jegourel, A. Legay, and S. Sedwards, A Platform for High Performance Statistical Model Checking ??? PLASMA, Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.498-503
DOI : 10.1007/978-3-642-28756-5_37

URL : https://hal.archives-ouvertes.fr/hal-01087824

Y. Kim, O. Choi, M. Kim, J. Baik, and T. H. Kim, Validating Software Reliability Early through Statistical Model Checking, IEEE Software, vol.30, issue.3, pp.35-41, 2013.
DOI : 10.1109/MS.2013.24

A. Legay, B. Delahaye, and S. Bensalem, Statistical Model Checking: An Overview, First International Conference on Runtime Verification, pp.122-135, 2010.
DOI : 10.1007/978-3-642-16612-9_11

URL : https://hal.archives-ouvertes.fr/inria-00591593

A. Legay and S. Sedwards, On Statistical Model Checking with PLASMA, 2014 Theoretical Aspects of Software Engineering Conference, pp.139-145, 2014.
DOI : 10.1109/TASE.2014.20

URL : https://hal.archives-ouvertes.fr/hal-01088859

I. Malavolta, P. Lago, H. Muccini, P. Pelliccione, and A. Tang, What Industry Needs from Architectural Languages: A Survey, IEEE Transactions on Software Engineering, vol.39, issue.6, pp.869-891, 2013.
DOI : 10.1109/TSE.2012.74

R. Mateescu and F. Oquendo, ??-AAL, ACM SIGSOFT Software Engineering Notes, vol.31, issue.2, pp.1-19, 2006.
DOI : 10.1145/1118537.1118541

F. Oquendo, ??-ADL, ACM SIGSOFT Software Engineering Notes, vol.29, issue.3, pp.1-14, 2004.
DOI : 10.1145/986710.986728

A. Pnueli, The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977.
DOI : 10.1109/SFCS.1977.32

J. Quilbeuf, E. Cavalcante, L. M. Traonouez, F. Oquendo, T. Batista et al., A Logic for the Statistical Model Checking of Dynamic Software Architectures, Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 2016.
DOI : 10.1007/978-3-319-47166-2_56

URL : https://hal.archives-ouvertes.fr/hal-01387429

P. Zhang, H. Muccini, and B. Li, A classification and comparison of model checking software architecture techniques, Journal of Systems and Software, vol.83, issue.5, pp.723-744, 2010.
DOI : 10.1016/j.jss.2009.11.709