Process-Oriented Requirements Definition and Analysis of Software Components in Critical Systems. - Benedetto Intrigila; Giuseppe Della Penna; Andrea D'Ambrogio; Dario Campagna; Malina Grigore (Comput., 2023)