Does anyone have resources that talk about writing a TLA+ model for an existing software system as opposed to designing a new system using TLA+ as the design reference?
* https://github.com/tlaplus/tlaplus/blob/master/tlatools/src/...
* https://github.com/tlaplus/tlaplus/blob/master/tlatools/src/...