Abstract—We study the use of Multiform Logical Time, as embodied in Esterel/SyncCharts and Clock Constraint Specifica-. Login to Download