@book{0070968,
  title = {Real-time systems - abstractions, languages, and design methodologies},
  author = {Krishna M. Kavi},
  year = {1992},
  tags = {language design, abstraction, design},
  researchr = {https://researchr.org/publication/0070968},
  cites = {0},
  citedby = {0},
  publisher = {IEEE},
  isbn = {978-0-8186-3152-8},
}