Eiger: A framework for the automated synthesis of statistical performance models | IEEE Conference Publication | IEEE Xplore