Bruno Mermet Qualité de service dans une logique temporelle compositionnelle. 1998 Henri Poincaré University, Nancy, France https://tel.archives-ouvertes.fr/tel-01747044