Promise: Property Mining for Sequential Synthesis | Publicación