Derivation of Event-B Models from OWL OntologiesEman H. AlkhammashMATEC Web Conf., 76 (2016) 04008DOI: https://doi.org/10.1051/matecconf/20167604008
