Victor Bos

• Formal specification and analysis of industrial systems