PlusCal — Web Pulse coverage

Modeling Token Buckets in PlusCal and TLA+ :: https://wpnews.pro/news/modeling-token-buckets-in-pluscal-and-tla