Symbolic Model Checking Using Intervals of Vectors. - Damien Morard; Lucas Donati; Didier Buchs (Petri Nets, 2024)