Generation of functional test sequences from B formal specifications presentation and industrial case-study | IEEE Conference Publication | IEEE Xplore