Mar Yah Said, Michael J. Butler, Colin F. Snook. A method of refinement in UML-B. Software and Systems Modeling, 14(4):1557-1580, 2015. [doi]
@article{SaidBS15, title = {A method of refinement in UML-B}, author = {Mar Yah Said and Michael J. Butler and Colin F. Snook}, year = {2015}, doi = {10.1007/s10270-013-0391-z}, url = {http://dx.doi.org/10.1007/s10270-013-0391-z}, researchr = {https://researchr.org/publication/SaidBS15}, cites = {0}, citedby = {0}, journal = {Software and Systems Modeling}, volume = {14}, number = {4}, pages = {1557-1580}, }