Procedure-based development platform for communication protocol stack software. - Tae-Il Eom; Woo-Yong Lee; Do-Young Lee; Jong-Han Kim; Woon-Haing Hur (CAMAD, 2016)