Alessandro Pinto, Sudha Krishnamurthy, Suresh Kannan. A model-based end-to-end toolchain for the probabilistic analysis of complex systems. In IEEE Conference on Automation Science and Engineering, CASE 2010, Toronto, ON, Canada, 21-24 August, 2010. pages 994-1000, IEEE, 2010. [doi]
Abstract is missing.