An integrated semantics for reasoning about SysML design models using refinement. - Lima, Lucas; Miyazawa, Alvaro; Cavalcanti, Ana; Cornélio, Márcio; Iyoda, Juliano; Sampaio, Augusto; Hains, Ralph; Larkham, Adrian; Lewis, Vaughan (Software & Systems Modeling, 2017)