Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems
scientific article; zbMATH DE number 5913690
scientific article