Model-Checking in the Loop Model-Based Testing for Automotive Operating Systems. - Toshiaki Aoki; Aritoshi Hata; Kazusato Kanamori; Satoshi Tanaka; Yuta Kawamoto; Yasuhiro Tanase; Masumi Imai; Fumiya Shigemitsu; Masaki Gondo; Tomoji Kishi (CoRR, 2023)