It's inspired by TLA+, but it uses a different semantics, I think.