Refining tree-based state clustering by means of formal concept analysis, balanced decision trees and automatically generated model-sets | IEEE Conference Publication | IEEE Xplore