Extracting Traceability between Predicates in Event-B Refinement. - Shinnosuke Saruwatari; Fuyuki Ishikawa; Tsutomu Kobayashi; Shinichi Honiden (APSEC, 2017)

Change Impact Analysis for Refinement-Based Formal Specification. - Shinnosuke Saruwatari; Fuyuki Ishikawa; Tsutomu Kobayashi; Shinichi Honiden (IEICE Trans. Inf. Syst., 2019)