Constructing Minimal Coverability Sets. - Artturi Piipponen; Antti Valmari (Fundam. Informaticae, 2016)