What's Decidable about Availability Languages?. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Roland Meyer 001; Mehdi Seyed Salehi (FSTTCS, 2015)