393	  Troubitsyna, Elena and Romanovsky, Alexander  (2012) Formal Engineering of Resilient Systems: Achievements and Challenges.  In: The 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012). Fast Abstract Track , Boston, USA.