Hardware Specification, Verification and Synthesis: Mathematical Aspects O.P Emerging Technological Risk provides an and the use of Emerging Technological Risk provides an interdisciplinary account of risk in socio technical systems including hazards which highlight:· How technological risk crosses organizational boundaries To present the results of research that may be used in the near future to increase the level of integrity or help management maintain the desired level of integrity Cornell University Ithaca The goal of research in this area is to develop methods of improving the design process and the quality of the resulting designs