Formal Refinement in SysML.

Alvaro Miyazawa, Ana Cavalcanti

Browse the full IFM paper archive.