Lightweight deadlock detection technique for embedded systems via OS-level analysis: work-in-progress. - Youngho Choi; Jaeook Kwon; Seokjae Jeong; Hansub Park; Young Ik Eom (EMSOFT, 2018)