Selective Mu-calculus and formula-based equivalence of transition systems