Massimo Benerecetti, Fabio Mogavero, Adriano Peron, Luigi Libero Lucio Starace. Expressing Structural Temporal Properties of Safety Critical Hierarchical Systems. In Ana C. R. Paiva, Ana Rosa Cavalli, Paula Ventura Martins, Ricardo Pérez-Castillo, editors, Quality of Information and Communications Technology - 14th International Conference, QUATIC 2021, Algarve, Portugal, September 8-11, 2021, Proceedings. Volume 1439 of Communications in Computer and Information Science, pages 356-369, Springer, 2021. [doi]
Abstract is missing.