(Hybrid) automata and (stochastic) programs The hybrid automata lattice of a stochastic program | UPT Perpustakaan UHAMKA