Refactoring of Statecharts. - Moria Abadi; Yishai A. Feldman (NGITS, 2009)

Automatic recovery of statecharts from procedural code. - Moria Abadi; Yishai A. Feldman (ASE, 2012)

Verifying Parallel Code After Refactoring Using Equivalence Checking. - Moria Abadi; Sharon Keidar-Barner; Dmitry Pidan; Tatyana Veksler (Int. J. Parallel Program., 2019)