http://en.wikipedia.org/wiki/Phalanx_%28computer_programming_quality_assurance_technique%29