A Framework for Research in Performance-Availability of Automated Information Systems