Specifying Policies Using UML Sequence Diagrams--An Evaluation Based on a Case Study | IEEE Conference Publication | IEEE Xplore