Alexei Iliasov, Alexander Romanovsky. Refinement Patterns for Fault Tolerant Systems. In Seventh European Dependable Computing Conference, EDCC-7 2008, Kaunas, Lithuania, 7-9 May 2008. pages 167-176, IEEE Computer Society, 2008. [doi]
Abstract is missing.