K Mori, N Okubo, Y Ueda, M Katahira… - Proceedings of the IEEE …, 2020 - dl.acm.org
Identifying the insufficient requirements, such as missing or lacking requirements, is
important to prevent serious accidents for CPSs (Cyber-Physical Systems), such as launch …