A model checking framework for hierarchical systems | IEEE Conference Publication | IEEE Xplore