Figure 8-3: Abstract syntax extensions for SysML properties