Towards an efficient implementation of a tableau method for reactive safety specifications | Publicación