A Uniform Approach for Specification and Design of Interactive Systems: the B Method