Girault A, Kalla H, Sighireanu M, Sorel Y. An algorithm for automatically obtaining distributed and fault-tolerant static schedules. Proceeding of international conference on dependable systems and networks. 2003 :165-190.