hasFinalStateAtTime has Category:OntologyElement and is an element of Transition
Name: hasFinalStateAtTime
Type: owl:ObjectProperty
Description: The time of the final state of the transition.