Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker. | Publicación