Modeling of Embedded Software Multitasking in SystemC/OSSS

Philipp A. Hartmann, Philipp Reinkemeier, Henning Kleen, Wolfgang Nebel. Modeling of Embedded Software Multitasking in SystemC/OSSS. In Martin Radetzki, editor, Languages for Embedded Systems and their Applications - Selected Contributions on Specification, Design, and Verification from FDL'08, September 23-25, 2008, Stuttgart, Germany. Volume 36 of Lecture Notes in Electrical Engineering, pages 213-226, 2008. [doi]

@inproceedings{HartmannRKN08,
  title = {Modeling of Embedded Software Multitasking in SystemC/OSSS},
  author = {Philipp A. Hartmann and Philipp Reinkemeier and Henning Kleen and Wolfgang Nebel},
  year = {2008},
  doi = {10.1007/978-1-4020-9714-0_14},
  url = {https://doi.org/10.1007/978-1-4020-9714-0_14},
  researchr = {https://researchr.org/publication/HartmannRKN08},
  cites = {0},
  citedby = {0},
  pages = {213-226},
  booktitle = {Languages for Embedded Systems and their Applications - Selected Contributions on Specification, Design, and Verification from FDL'08, September 23-25, 2008, Stuttgart, Germany},
  editor = {Martin Radetzki},
  volume = {36},
  series = {Lecture Notes in Electrical Engineering},
}