Systematic Application of UCIS to Improve the Automation on Verification Closure Author(s): Christoph Kuznik, Marcio F. S. Oliveira, Gilles Bertrand Defo, and Wolfgang Mueller Download