Automatic verification of stochastic processes: certification of building automation systems (University of Oxford, 2019)

(untitled) - Cauchi, NM