Journal paper got accepted for TASLP.