Add 'SWO' notation to Memory Model in Spec.