@misc {IOPORT.70547777,
    author       = {Cho, Youngchul and Zergainoh, Nacer-Eddine and Jerraya, Ahmed Amine and Choi, Kiyoung},
    title        = {Buffer size reduction through control-flow decomposition},
    howpublished = {RTCSA, 183-190 (2007).},
    year         = {2007},
    identifier   = {70547777},
}