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