https://will62794.github.io/spectacle/#!/home?specpath=.%2Fspecs%2FBlockingQueue.tla&constants%5BProducers%5D=%7Bp1%2Cp2%7D&constants%5BConsumers%5D=%7Bc%7D&constants%5BBufCapacity%5D=1
