On the deadlock analysis of multithreaded control software | Publicación