Work-in-Progress: Lightweight Deadlock Detection Technique for Embedded Systems via OS-Level Analysis | IEEE Conference Publication | IEEE Xplore