Labeled Transition System Identifier