LOTOS extended with probabilistic behaviours
scientific article; zbMATH DE number 404763
scientific article