Anne Monceaux Martine Callot Use Case: Ontology to Support System Verification Process. 2007 OWLED http://ceur-ws.org/Vol-258/paper45.pdf conf/owled/2007 db/conf/owled/owled2007.html#MonceauxC07