A Practical Framework for Specification, Verification, and Design of Self-Timed Pipelines | IEEE Conference Publication | IEEE Xplore