Modelling layered protocols in LOOPN | IEEE Conference Publication | IEEE Xplore