FTA Techniques and Software