Model checking in pattern based control systems design [Electronic resource]
Vain, Jüri
;
Ernits, Juhan-Peep
Proceedings of the 15th IFAC World Congress : Barcelona, Spain, 2002
2002
/
[6] p. : ill. [CD-ROM]
https://www.sciencedirect.com/science/article/pii/S1474667015393666#cekeyws10