An efficient unique state coding algorithm for signal transition graphs | Publicación