Zakharov V., Temerbekova G. On the minimization and equivalence checking of sequential reactive systems // # 7, 2016
