Towards a formal model of protection functions for power distribution networks. - Michael Masselot; Sandeep Patil; Gulnara Zhabelova; Valeriy Vyatkin (IECON, 2016)