DYANA: An Environment for Embedded System Design and Analysis. - Anatoly G. Bakhmurov; A. P. Kapitonova; Ruslan L. Smeliansky (TACAS, 1999)