A Tableau Method for the Realizability and Synthesis of Reactive Safety Specifications | Publicación