1 paper
Peter Fontana, Rance Cleaveland
This report contains the descriptions of the timed automata (models) and the properties (specifications) that are used as the "benchmark examples in Data structure choices for on-t…