How Behavior Trees modularize robustness and safety in hybrid systems | IEEE Conference Publication | IEEE Xplore