Formal specification and analysis of industrial systems - Bos, Victor (Dissertetion series, 2002)