You seem to be attempting to access an item that has been removed from the repository.
There is a later version of the item you are trying to access: Dotti, Fernando and Iliasov, Alexei and Romanovsky, AlexanderSpecifying Modal Systems using Event-B. (Technical report). (Unpublished)