Switched PIOA: parallel composition via distributed scheduling
switched probabilistic input/output automata
scientific article; zbMATH DE number 5079006
scientific article