Carleman estimates and applications to inverse problems for hyperbolic systems (2017)