New formula: bitseq.

BitSeq (Bayesian Inference of Transcripts from Sequencing Data) is an
application for inferring expression levels of individual transcripts
from sequencing (RNA-Seq) data and estimating differential expression
(DE) between conditions.

http://code.google.com/p/bitseq/