@misc{indiciae0682ad2ab563,
  title = {System behavior specification using IEEE Std 1175.4.},
  author = {Knirk, Dwayne Lee},
  year = {2010},
  url = {https://www.osti.gov/biblio/989378},
  note = {Source identifier: 989378}
}