DODT: Increasing requirements formalism using domain ontologies for improved embedded systems development | IEEE Conference Publication | IEEE Xplore