Construction of Abstract State Graphs for Understanding Event-B Models. - Daichi Morita; Fuyuki Ishikawa; Shinichi Honiden (SETTA, 2017)