Constructing probabilistic ATMSs using extended incidence calculus
scientific article; zbMATH DE number 1380993