Varpaaniemi, Kimmo  (2011) Event-B Projects DSAOCSSv002 and DSAOCSSV003 with Special Files for ProB Classic.  [Rodin Archive]