2 ms·Specifying Systems: The TLA+ Language and Tools for Hardware and Software Eng [pdf]3 points by Anon84 7y ago