Specifying Systems: The TLA+ Language and Tools for Hardware and Software Eng [pdf]lamport.azurewebsites.net3 pointsAnon846 years ago