Analyzing ATLH using the QaY Framework...