A three-step approach to the functional partitioning of large behavioral processes | IEEE Conference Publication | IEEE Xplore