Comment by tluyben2

I have been modelling parts of our systems in TLA+ for years now and it really helps a lot working out complex scenarios.