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