Planning for Software System Recovery by Knowing Design Limitations of Cloud-native Patterns. In Maarten van Steen, Donald Ferguson, and Claus Pahl (Eds.), Proceedings of the 12th International Conference on Cloud Computing and Services Science, CLOSER 2022,, Online Streaming, April 27-29, 2022, 215--222, SCITEPRESS, 2022. [PUMA: myown formalism TLA+ patterns from:alirezahakamian] URL