Safety Property-Driven Stubborn Sets | Publicación