Bayesian Hybrid Automata: A Formal Model of Justified Belief in Interacting Hybrid Systems Subject to Imprecise Observation (Leibniz Transactions on Embedded Systems, 2022)