Efficient modelling of IEEE 802.11p MAC output process for V2X interworking enhancement. Issue 4 (1st July 2018)