Tool support for system specification, development and verification - Berghammer, R. (Rudolph) 1952-; Lakhnech, Y. (Yassine) (Advances in computing science, 1999)