A generic logical-temporal performance analysis method for complex systems. - Romain Kervarc; Jean Bourrely; Claire Quillien (Math. Comput. Simul., 2010)

Temporal Logic Framework for Performance Analysis of Architectures of Systems. - Ariane Piel; Jean Bourrely; Stéphanie Lala; Sylvain Bertrand; Romain Kervarc (NFM, 2016)

Assessing component impairing at mission level. - Romain Kervarc; Ariane Piel; Stéphanie Lala; Jean Bourrely (Math. Comput. Simul., 2018)