Simulation-based verification of the MOST NetInterface specification revision 3.0 | IEEE Conference Publication | IEEE Xplore