Deadlock Detection in the Scheduling of Last-Mile Transportation Using Model Checking. - Koji Hasebe; Mitsuaki Tsuji; Kazuhiko Kato (DASC/PiCom/DataCom/CyberSciTech, 2017)

Prioritizing Scenarios based on STAMP/STPA Using Statistical Model Checking. - Mitsuaki Tsuji; Toshinori Takai; Kazuki Kakimoto; Naoki Ishihama; Masafumi Katahira; Hajimu Iida (ICST Workshops, 2020)