You are about to access our book library "Integrating Functional and Temporal Domains in Logic Design: The False Path Problem and Its Implications (The Springer International Series in Engineering and Computer Science) full version" .