From Dynamic Condition Response Structures to Büchi Automata | IEEE Conference Publication | IEEE Xplore