Modelling the archetype of a message-passing bug with TLA+ (2022)

A Message from Intel CEO Pat Gelsinger to Employees

Concord unceremoniously goes offline with an anticlimactic "error" message

End of an Era: A Message from the Founder as We Announce the Closure of AppleVis