Assertion Based Design of Timed Finite State Machine | IEEE Conference Publication | IEEE Xplore