Yosuke Himura, Yoshiko Yasuda: Static validation of network device configurations in virtualized multi-tenant datacenters. IM 2013: 160-168