▸ Expressing structural temporal properties of safety critical hierarchical systems Joint work with M. Benerecetti, R. Lanotte, F. Mogavero, and A. Peron. Presented at QUATIC 2021 - 14th International Conference on the Quality of Information and Communications Technology.