Modelling Switches with Internal Buffering in Software-Defined Networks | IEEE Conference Publication | IEEE Xplore