Summary of TLA+ (Temporal Logic of Actions) (2000) [pdf]research.microsoft.com1 pointonderkalaci11 years ago