Ilic, Dubravka and Varpaaniemi, Kimmo   Event-B Models BepiColombo pilot (by SSF).  [Rodin Archive]