Energy-efficiency analysis under QoS constraints using formal methods: A study on EPONs | IEEE Conference Publication | IEEE Xplore