Exploiting Partial Knowledge for Efficient Model Analysis. - Nuno Macedo 001; Alcino Cunha; Eduardo Pessoa (ATVA, 2017)