An experimental Nexos laboratory using Virtual Xinu | IEEE Conference Publication | IEEE Xplore