@misc{indiciae58428d17da2b,
  title = {Model-Checking in the Loop Model-Based Testing for Automotive Operating Systems},
  author = {Toshiaki Aoki and Aritoshi Hata and Kazusato Kanamori and Satoshi Tanaka and Yuta Kawamoto and Yasuhiro Tanase and Masumi Imai and Fumiya Shigemitsu and Masaki Gondo and Tomoji Kishi},
  year = {2023},
  url = {https://arxiv.org/abs/2310.00973},
  note = {Source identifier: 2310.00973}
}