M. Hamilton and W. R. Hackler (2007), ""A Formal Universal Systems Semantics for SysML"", 17th Annual International Symposium, INCOSE 2007, San Diego, CA, Jun. 2007.