Performability Modeling of Distributed Real-Time Systems