An integrated semantics for reasoning about SysML design models using refinement

Lucas Lima, Alvaro Miyazawa, Ana Cavalcanti, Márcio Cornélio, Juliano Iyoda, Augusto Sampaio, Ralph Hains, Adrian Larkham, Vaughan Lewis. An integrated semantics for reasoning about SysML design models using refinement. Software and Systems Modeling, 16(3):875-902, 2017. [doi]

Abstract

Abstract is missing.