Phase Type Distribution: Theory and Application wi th Tool Support