A Model for the Coanalysis of Hardware and Software Architectures. - Fred Rose; Todd Carpenter; Sanjaya Kumar; John Shackleton; Todd Steeves Honeywell (CODES, 1996)