It's a manual process, but I read there are tools that try to automate it. But as far as I understood it, if you know TLA+ and the target language well, it's l

It's a manual process, but I read there are tools that try to automate it. But as far as I understood it, if you know TLA+ and the target language well, it's like writing an article from a good outline.