@STRING{soc       = {International Symposium on System-on-Chip} }
@InProceedings{HLGD:2012b,
  author        = {Finn Haedicke and Hoang M. Le and Daniel Gro{\ss}e and Rolf Drechsler},
  title         = {{CRAVE}: An Advanced Constrained RAndom Verification Environment for {SystemC}},
  booktitle     = soc,
  pages         = {1--7},
  year          = 2012
}