Mathematical Tools for Discontinuous Dynamical Systems