Iliasov, Alexei Event-B Project SSF Mini-pilot. [Rodin Archive]