Gorbenko, Anatoly, Vyacheslav Kharchenko, Olga Tarasyuk, and Alexey Furmanov. "F(I)MEA-Technique of Web-services Analysis and Dependability Ensuring." Rigorous Development of Complex Fault-Tolerant Systems (2006).