Detecting Positions in Networks: A Formal Analysis