TFCluster: An Efficient Algorithm to Mine Maximal Differential Function-resource Biclusters for Single Pilot Operations Safety Analysis | IEEE Conference Publication | IEEE Xplore