Assertion Based Design of Timed Finite State Machine. - Alexander Shkil; Anatolii Miroshnyk; Georgiy Kulak; Kyrylo Pshenychnyi (EWDTS, 2021)