DYANA: An Environment for Embedded System Design and Analysis.

Anatoly G. Bakhmurov, A. P. Kapitonova, Ruslan L. Smeliansky

Browse the full TACAS paper archive.