Koichi Tokuno Shigeru Yamada Codesign-Oriented Performability Modeling for Hardware-Software Systems. 171-179 2011 60 IEEE Transactions on Reliability 1 http://dx.doi.org/10.1109/TR.2010.2103991 db/journals/tr/tr60.html#TokunoY11