Computing an inner and an outer approximation of the viability kernel - Monnet, Dominique; Ninin, Jordan; Jaulin, Luc (Reliable Computing, 2016)