34	  Laibinis, Linas and Troubitsyna, Elena and Iliasov, Alexei and Romanovsky, Alexander  (2008) Formal development of cooperative exception handling for mobile agent systems.  In: 1st Int. workshop on Software Engineering for Resilient Systems - SERENE 2008, November 17-19, 2008, Newcastle upon Tyne (UK).    (In Press)