2Modelling the archetype of a message-passing bug with TLA+ (opens in new tab)(medium.com)2polyglotfacto23y ago0