Athena: a real-time performance evaluation for distributed software with reliability constraints | IEEE Conference Publication | IEEE Xplore