CPS: Synergy: Integrated Modeling, Analysis and Synthesis of Miniature Medical Devices