related documents Modeling and analysis of micro-ring based silicon photonic interconnect for embedded systems Conference Proceeding Relating average and discounted costs for quantitative analysis of timed systems Conference Proceeding