Dieter Fensel Arno Schönegge Specifying and Verifying Knowledge-Based Systems with KIV. 107-116 1997 conf/eurovav/1997 EUROVAV db/conf/eurovav/eurovav1997.html#FenselS97