Synchronous Equivalence door Harry Hsieh, Felice Balarin & Alberto L. Sangiovanni-Vincentelli