CTL * y cálculo mu

es bien sabido que el cálculo μ modalμμ\mu es una de las lógicas temporales más expresivas para expresar las propiedades de los árboles / gráficos, y que CTL * es estrictamente menos expresivo que el cálculo .μμ\mu Aquí me gustaría pedir un ejemplo de fórmula de cálculo , tan simple como sea...