Master's Theses & Technical Reports - Alberto L. Sangiovanni-Vincentelli