A proposal forextending UML-B to support a conceptual model - Silva, Paulo Sérgio Muniz; Sousa, Thiago C. de; Snook, Colin F. (Innovations in Systems and Software Engineering, 2011)