@INPROCEEDINGS{nacif03anassertion,
  AUTHOR = {Jos\'{e} Augusto Nacif and Fl\'{a}vio M. de Paula and Harry Foster and Claudionor J. N. {Coelho Jr.} and Fernando C. Sica and Di\'{o}genes C. {da Silva Jr.} and Ant\^{o}nio O. Fernandes},
  TITLE  = {An Assertion Library for On-Chip White-Box Verification at Run-Time},
  BOOKTITLE = {Proceedings of the 4th {IEEE} Latin-American Test Workshop ({LATW'03})},
  YEAR = {2003},
  MONTH = {February},
  ADDRESS = {Natal, RN, Brazil}
}