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]
@article{LimaMCCISHLL17,
title = {An integrated semantics for reasoning about SysML design models using refinement},
author = {Lucas Lima and Alvaro Miyazawa and Ana Cavalcanti and Márcio Cornélio and Juliano Iyoda and Augusto Sampaio and Ralph Hains and Adrian Larkham and Vaughan Lewis},
year = {2017},
doi = {10.1007/s10270-015-0492-y},
url = {https://doi.org/10.1007/s10270-015-0492-y},
researchr = {https://researchr.org/publication/LimaMCCISHLL17},
cites = {0},
citedby = {0},
journal = {Software and Systems Modeling},
volume = {16},
number = {3},
pages = {875-902},
}