On the minimization and equivalence checking of sequential reactive systemsстатья Электронная публикация