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.