Synthesis of verifiable concurrent Java components from formal models | Publicación