Akram Idani Yves Ledru Didier Bert A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. 97-106 2006 conf/sew/2006 SEW http://doi.ieeecomputersociety.org/10.1109/SEW.2006.6 db/conf/sew/sew2006.html#IdaniLB06