125	  Damchoom, Kriangsak and Butler, Michael   Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B.  In: SBMF 2009, 19-21 August 2009, Gramado, Brazil.