Varpaaniemi, Kimmo (2010) Event-B Project DepSatSpec015Model000. [Rodin Archive]