Figure 8-7: Abstract syntax extensions for SysML property-specific types