Automating Time Series Safety Analysis for Automotive Control Systems in STPA Using Weighted Partial Max-SMT. - Shuichi Sato; Shogo Hattori; Hiroyuki Seki; Yutaka Inamori; Shoji Yuen (FTSCS, 2016)

Automating Time-series Safety Analysis for Automotive Control Systems Using Weighted Partial Max-SMT. - Shuichi Sato; Shogo Hattori; Hiroyuki Seki; Yutaka Inamori; Shoji Yuen (J. Inf. Process., 2020)