Some interesting use cases: http://erlangonxen.org/case/thwarting-a-combinatorial-explos...