Case Study: Application Development with ATaG