Integration of assessment for event B and synthesis of results