A Proposed Methodology for Designing Real-Time Information Systems with Availability Constraints | IEEE Journals & Magazine | IEEE Xplore