Giovanna Dondossola Oliver Botti System Fault Tolerance Specification: Proposal of a Method Combining Semi-formal and Formal Approaches. 82-96 2000 conf/fase/2000 FASE http://link.springer.de/link/service/series/0558/bibs/1783/17830082.htm db/conf/fase/fase2000.html#DondossolaB00