Kröger, P., and M. Fränzle. “Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation”. Leibniz Transactions on Embedded Systems, vol. 8, no. 2, Dec. 2022, pp. 05:1-05:27, doi:10.4230/LITES.8.2.5.