From verified model to executable program: the PAT approach. - Zhu, Huiquan; Sun, Jing; Dong, Jin Song; Lin, Shang-Wei (Innov. Syst. Softw. Eng., 2016)