A bottom-up approach to verification of hybrid model-based hierarchical controllers with application to underwater vehicles | IEEE Conference Publication | IEEE Xplore