Abstract state machine based next generation IPv6 network | IEEE Conference Publication | IEEE Xplore