For citations:

Tvardovskii A.S., Evtushenko N.V. FSM abstraction based method for deriving test suites with guaranteed fault coverage against nondeterministic Finite State Machines with timed guards and timeouts. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2019;31(4):175-188. https://doi.org/10.15514/ISPRAS-2019-31(4)-12