A polynomial-time algorithm for checking consistency of free-choice signal transition graphs | Publicación