Deciding Synchronous Kleene Algebra with Derivatives. - Sabine Broda; Sílvia Cavadas; Miguel Ferreira; Nelma Moreira (CIAA, 2015)