Formal Specification and Analysis of Industrial Systems (2002)

by V Bos, J J T Klein