Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework