Iliasov, Alexei and Troubitsyna, Elena and Laibinis, Linas and Romanovsky, Alexander (2009) Towards Automated Reļ¬nement: Patterns in Event B. Working Paper. Technical Report. (Unpublished)