Timed Automata Rajeev Alur University of Pennsylvania alur/ SFM-RT, Bertinoro, Sept 2004.
Selectivity-Based Partitioning Alkis Polyzotis UC Santa Cruz.
Selectivity-Based Partitioning