Preliminary analysis cycle for B-method software development | IEEE Conference Publication | IEEE Xplore