Stratified Guarded First-Order Transition Systems. - Christan Müller; Helmut Seidl (SAS, 2020)