Computing timed transition relations for sequential cycle-based simulation | IEEE Conference Publication | IEEE Xplore