Title: B'98: Recent Advances in the Development and Use of the B Method