109 Abrial, Jean-Raymond (2009) Event Model Decomposition. Technical Report. ETH Zurich. (Unpublished)