Integrating operational specification and performance modeling. - Sanjay Srinivasan; Ambar Sarkar; Ronald Waxman; Barry Johnson (RSP, 1992)