A model for the coanalysis of hardware and software architectures | IEEE Conference Publication | IEEE Xplore