Partial order reduction for timed systems. (Réduction d'ordre partiel pour les systèmes temporisés). - Govind Rajanbabu (2021)