Extraction of Kahn Process Networks from While Loops in Embedded Software | IEEE Conference Publication | IEEE Xplore