"TASS: Timing Analyzer of Scenario-Based Specifications."

Minxue Pan, Lei Bu, Xuandong Li (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics