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