Applications of formal methods in engineering. - Sang Cong Tran (1991)