in C# it's basically automatic https://github.com/microsoft/coyote/