A hierarchical test generation approach for large controllers | IEEE Journals & Magazine | IEEE Xplore