Deductive verification of requirements for event-driven architecture - A. Letichevsky; O. Letychevskyi; V. Peschanenko; A. Guba (Problems in programming, 2013)