Representation of control and timing behavior with applications to interface synthesis | IEEE Conference Publication | IEEE Xplore