Preserving Correctness of Requirements Evolution through Refinement in Event-B. - Kriangkrai Traichaiyaporn; Toshiaki Aoki (APSEC (1), 2013)

Refinement Tree and Its Patterns: A Graphical Approach for Event-B Modeling. - Kriangkrai Traichaiyaporn; Toshiaki Aoki (FTSCS, 2013)

Modeling Safety Requirements of ISO26262 Using Goal Trees and Patterns. - Toshiaki Aoki; Kriangkrai Traichaiyaporn; Yuki Chiba; Masahiro Matsubara; Masataka Nishi; Fumio Narisawa (FTSCS, 2015)