Using the AQAL Model as an Analysis Tool