\input zb-basic \input zb-ioport \iteman{io-port 70012321} \itemau{Simonet, Ana} \itemti{Automatic production of an operational information system from a domain ontology enriched with behavioral properties} \itemso{MEDI, 4-17 (2011).} \itemcc{} \itemut{} \itemli{doi:10.1007/978-3-642-24443-8\_4} \end