TUA_Stable-Models-Design-Automation