“…We engineer a Cyber-Physical System (CPS) using separate models for its different parts [13,16,32,27,9]. If we use different formalisms, then this is a multimodel and we must use the corresponding support tools in coordination.…”
This is the accepted manuscript (post-print version) of the article.Contentwise, the accepted manuscript version is identical to the final published version, but there may be differences in typography and layout.
“…We engineer a Cyber-Physical System (CPS) using separate models for its different parts [13,16,32,27,9]. If we use different formalisms, then this is a multimodel and we must use the corresponding support tools in coordination.…”
This is the accepted manuscript (post-print version) of the article.Contentwise, the accepted manuscript version is identical to the final published version, but there may be differences in typography and layout.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.