Methods of development, modelling and analysis of quantum internetworking protocols