Parallel verification of dynamic systems with rich configurations - Pessoa, Eduardo José Dias (2016)