Expressing and verifying timing requirements with UML

More Info
expand_more