Composing, analyzing and validating software models to assess the performability of competing design candidates

Frederick T. Sheldon, Stefan Greiner. Composing, analyzing and validating software models to assess the performability of competing design candidates. Ann. Software Eng., 8:239-287, 1999.