Masaki Waga, Étienne André, Ichiro Hasuo: Model-bounded monitoring of hybrid systems. CoRR abs/2102.07401 (2021)