Comment by ligurio

Software companies widely uses TLA+ https://github.com/ligurio/practical-fm