Introduction to Leak scenario type in Phast and Safeti