325	  Tarasyuk, Anton and Troubitsyna, Elena and Laibinis, Linas  (2010) Augmenting Formal Development of Control Systems with Quantitative Reliability Assessment.  In: SERENE 2010, London.