Gnatenko A., Zakharov V. Using an extensions of CTL* for specification and verification of sequential reactive systems // # 17, 2020
