[Alug] CASE Tools