Formal Measures of Dynamical Properties: Tipping Points