Model checking - a new challenge for design of complex computer-controlled systems [Electronic resource]Vain, Jüri; Küttner, Rein5th International Conference on Engineering Design and Automation 2001 : EDA Conference : Las Vegas, Nevada, USA : (refered conference papers)2001 / p. 593-598 : ill. [CD-ROM]