Task-structured probabilistic I/O automata
scientific article; zbMATH DE number 6861261
scientific article