Counterexample generation for probabilistic model checking micro-scale cyber-physical systems - Liu, Yang (MDPI, 2022)
10.3390/mi12091059