Aligning SysML with the B method to provide V&V for systems engineering

Publication
Workshop on Model-Driven Engineering, Verification and Validation (MoDeVVa)