SMArTIC: towards building an accurate, robust and scalable specification miner
Finding Groups in Data: An Introduction to Cluster Analysis.