@misc{indiciae1a4c347085d3,
  title = {RTK-Spec TRON: A Simulation Model of an ITRON Based RTOS Kernel in SystemC},
  author = {M. Abdelsalam Hassan and Keishi Sakanushi and Yoshinori Takeuchi and Masaharu Imai},
  year = {2007},
  url = {https://arxiv.org/abs/0710.4746},
  note = {Source identifier: 0710.4746}
}