I. Iec, LOTOS ? a formal description technique based on the temporal ordering of observational behaviour, International Organization for Standardization ? Information Processing Systems ? Open Systems Interconnection, 1989.

H. Hermanns and J. P. Katoen, Automated compositional Markov chain generation for a plain-old telephone system, Science of Computer Programming, vol.36, issue.1, pp.97-127, 2000.
DOI : 10.1016/S0167-6423(99)00019-2

H. Hermanns, Interactive Markov Chains and the Quest for Quantified Quality. Volume 2428 of Lecture Notes in Computer Science, 2002.

N. Coste, H. Hermanns, E. Lantreibecq, and W. Serwe, Towards Performance Prediction of Compositional Models in Industrial GALS Designs, Proceedings of the 21th International Conference on Computer Aided Verification CAV'2009, pp.204-218, 2009.
DOI : 10.1007/978-3-642-02658-4_18
URL : https://hal.archives-ouvertes.fr/inria-00381657

C. A. Vissers, G. Scollo, M. Van-sinderen, and E. Brinksma, Specification styles in distributed systems design and verification, Theoretical Computer Science, vol.89, issue.1, pp.179-206, 1991.
DOI : 10.1016/0304-3975(90)90111-T

H. A. Hansson, Time and Probability in Formal Design of Distributed Systems, 1994.

H. Hermanns and C. Joubert, A Set of Performance and Dependability Analysis Components for CADP, Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2003, pp.425-430, 2003.
DOI : 10.1007/3-540-36577-X_30

H. Garavel, OPEN/C??SAR: An open software architecture for verification, simulation, and testing, Proceedings of the First International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'98, pp.68-84, 1998.
DOI : 10.1007/BFb0054165

H. Garavel, Compilation of LOTOS abstract data types, Proceedings of the 2nd International Conference on Formal Description Techniques FORTE'89, pp.147-162, 1989.

H. Garavel and J. Sifakis, Compilation and verification of LOTOS specifications, Proceedings of the 10th International Symposium on Protocol Specification, Testing and Verification, pp.379-394, 1990.

H. Garavel and W. Serwe, State space reduction for process algebra specifications, Theoretical Computer Science, vol.351, issue.2, pp.131-145, 2006.
DOI : 10.1016/j.tcs.2005.09.064

F. Lang, Exp.Open 2.0: A Flexible Tool Integrating Partial Order, Compositional, and On-The-Fly Verification Methods, Proceedings of the 5th International Conference on Integrated Formal Methods IFM'2005, pp.70-88, 2005.
DOI : 10.1007/11589976_6
URL : https://hal.archives-ouvertes.fr/inria-00070339

S. Blom and S. Orzan, Distributed state space minimization, International Journal on Software Tools for Technology Transfer, vol.19, issue.3, pp.280-291, 2005.
DOI : 10.1007/s10009-004-0185-2

D. D. Deavours and W. H. Sanders, An efficient well-specified check, Proceedings 8th International Workshop on Petri Nets and Performance Models (Cat. No.PR00331), pp.124-133, 1999.
DOI : 10.1109/PNPM.1999.796559

W. J. Stewart, Introduction to the Numerical Solution of Markov Chains, 1994.

A. Jensen, Markov chains as an aid in the study of markov processes, Skand. Aktuarietidskrift, vol.3, pp.87-91, 1953.

B. L. Fox and P. W. Glynn, Computing Poisson probabilities, Communications of the ACM, vol.31, issue.4, pp.440-445, 1987.
DOI : 10.1145/42404.42409

H. Hermanns, CONSTRUCTION AND VERIFICATION OF CONCURRENT PERFORMANCE AND RELIABILITY MODELS, Bulletin of the EATCS, vol.74, pp.135-154, 2001.
DOI : 10.1142/9789812562494_0055

R. Mateescu and W. Serwe, A Study of Shared-Memory Mutual Exclusion Protocols Using CADP, Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems FMICS'2010, 2010.
DOI : 10.1109/88.481663
URL : https://hal.archives-ouvertes.fr/inria-00532897

H. Garavel and H. Hermanns, On Combining Functional Verification and Performance Evaluation Using CADP, Proceedings of the 11th International Symposium of Formal Methods Europe FME, pp.410-429, 2002.
DOI : 10.1007/3-540-45614-7_23
URL : https://hal.archives-ouvertes.fr/inria-00072096

G. Chehaibar, M. Zidouni, and R. Mateescu, Modeling Multiprocessor Cache Protocol Impact on MPI Performance, 2009 International Conference on Advanced Information Networking and Applications Workshops, 2009.
DOI : 10.1109/WAINA.2009.117
URL : https://hal.archives-ouvertes.fr/inria-00381674

C. Eisentraut, H. Hermanns, and L. Zhang, On Probabilistic Automata in Continuous Time, 2010 25th Annual IEEE Symposium on Logic in Computer Science, 2010.
DOI : 10.1109/LICS.2010.41

H. C. Bohnenkamp, P. R. D-'argenio, H. Hermanns, and J. P. Katoen, MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems, IEEE Transactions on Software Engineering, vol.32, issue.10, pp.812-830, 2006.
DOI : 10.1109/TSE.2006.104

C. Baier, B. Haverkort, H. Hermanns, and J. P. Katoen, Performance evaluation and model checking join forces, Communications of the ACM, vol.53, issue.9, pp.74-83, 2010.
DOI : 10.1145/1810891.1810912

L. Zhang and M. R. Neuhäußer, Model Checking Interactive Markov Chains, Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS 2010, pp.53-68, 2010.
DOI : 10.1007/978-3-642-12002-2_5