[1] B Daniel Große. Formale Verifikation von SystemC-Beschreibungen. Diploma thesis, Albert-Ludwigs-Universität, Freiburg, Germany, August 2002.