@incollection{claudionorBook,
   author = {Claudionor J. N. {Coelho Jr.} and Harry D. Foster},
   booktitle = {Advanced Formal Verification},
   title = {Assertion-Based Verification},
   pages = {167--204},
   editor = {Rolf Drechsler},  
   publisher = {Kluwer Academic Publishers},
   note = {{ISBN} 1-4020-7721-1},
   month = {January},
   year = {2004}	
}