Performability Evaluation of Multitasking and Multiprocessor Systems by Explicit Approximate Inverses.