Specification and Validation of Link Reversal Routing via Graph Transformations