A State-based Refinement Technique for Event-Bстатья Электронная публикация