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

by F T Sheldon, S Greiner
Venue:ASE