An approach toward reuse of engineering models in the automation of system verification | IEEE Conference Publication | IEEE Xplore