A Tool to Manage Traceability on Several Models and Its Use Case. - Haruhiko Kaiya; Shogo Tatsui; Atsuo Hazeyama; Shinpei Ogata; Takao Okubo; Nobukazu Yoshioka; Hironori Washizaki (KES, 2020)