Spot 2.0 - A Framework for LTL and omega -Automata Manipulation. - Alexandre Duret-Lutz; Alexandre Lewkowicz; Amaury Fauchille; Thibaud Michaud; Etienne Renault; Laurent Xu (ATVA, 2016)