Readings & Resources

Textbook

Michael Blaha and James Rumbaugh. Object-Oriented Modeling and Design with UML (2nd Edition), Prentice Hall, 2004

Reference books

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.

Web resources

Quick Overview of UML (by CRaG Systems)
MagicDraw Quick Tutorial
Fully elaborated ATM example in UML by Russell Bjork
TLA+ Video Lectures by Leslie Lamport.