Habibi, Ali (2005) A framework for system level verification : the SystemC Case. PhD thesis, Concordia University.