Dmitry Yu. Volkanov, Vladimir A. Zakharov, Daniil A. Zorin, Vladislav V. Podymov, Igor V. Konnov. A combined toolset for the verification of real-time distributed systems. Programming and Computer Software, 41(6):325-335, 2015. [doi]
Abstract is missing.