Short-term availability and performability analysis for a large-scale multi-state system based on robotic sensors. (January 2021)