Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers - http://www.goodreads.com/review...