N
[NJM+23] Reiya Noguchi, Thierry Jéron, Nicolas Markey, and Ocan Sankur. Method and system for correcting the operation of a target computer system by using timed requirements. Patent EP 4 064 057 B1, July 2023, 
@patent{EP4064057B1,
  author =              {Noguchi, Reiya and J{\'e}ron, Thierry and Markey,
                         Nicolas and Sankur, Ocan},
  title =               {Method and system for correcting the operation of a
                         target computer system by using timed requirements},
  number =              {EP 4 064 057 B1},
  year =                {2023},
  month =               jul,
}
List of authors