[2] B Daniel Große. Quality-Driven Design and Verification Flow for Digital Systems. Dissertation, Universität Bremen, Bremen, Germany, October 2008.