B Electronic System Level Design and Verification