related documents Approximation Techniques for Stochastic Analysis of Biological Systems Conference Proceeding Models, Devices, Properties, and Verification of Artificial Pancreas Systems Conference Proceeding