Igor V. Konnov, Vladislav V. Podymov, Dmitry Yu. Volkanov, Vladimir A. Zakharov, Daniil A. Zorin. How to make a simple tool for verification of real-time systems. Automatic Control and Computer Sciences, 48(7):534-542, 2014. [doi]
Abstract is missing.