Verification of parametric timed circuits using octahedra (2004)

by R C Clarisó, J Cortadella
Venue:In Designing correct circuits, DCC’04