On the deadlock analysis of multithreaded control software | IEEE Conference Publication | IEEE Xplore