algebraic simulations .
Abstract interpretation of reactive systems