An approach to logical description of photonic link protection schemes | IEEE Conference Publication | IEEE Xplore