Αποστολή με SMS: On the specification and verification of the PCR parallel programming pattern in TLA+