Readings & Resources
- Michael Blaha and James Rumbaugh. Object-Oriented Modeling and Design with UML (2nd Edition), Prentice Hall, 2004
- Hillel Wayne. Practical TLA+: Planning Driven Development, Apress, 2018.
- Leslie Lamport. Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers, Addison-Wesley, 2002. Also useful are the TLA+ Hyperbook and the PlusCal manual.