Utilization of Probabilistic Models in Short Read Assembly from Second-Generation Sequencing