Tambe, S., Daholkar, A., & Gokhale, A. (2011). MoPED: A Model-based Provisioning Engine for Dependability in Component-based Distributed Real-time Embedded Systems. In To Appear in 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems (ECBS 2011). Las Vegas, NV, USA: IEEE. (Original work published April 2011)