Communicative Action Loop models. To gain robustness, it was suggested to use two types of strictly formatted diagrams. A formal …