This is similar to https://github.com/microsoft/coyote/