Modelling and verification of a network player system with DCValid | IEEE Conference Publication | IEEE Xplore