A formal description of discrete event dynamic systems including infinitesimal perturbation analysis
scientific article; zbMATH DE number 4127070