Generalized discrete event system specification: a state-of-the-art study. (June 2022)