Observer Patterns for Timed Properties. - Djamila Baroudi; Safia Nait Bahloul (Int. J. Softw. Innov., 2021)