Frequent-Pattern-Guided Multilevel Decomposition of Behavioral Specifications | IEEE Journals & Magazine | IEEE Xplore