1. Andolfi, F., Aquilani, F., Balsamo, S., Inverardi, P.: Deriving Performance Models of Software Architectures from Message Sequence Charts. In: [40], pp. 47–57 (2000)
2. Aquilani, F., Balsamo, S., Inverardi, P.: Performance Analysis at the Software Architectural Design Level. Perfomance Evaluation 45(2-3), 147–178 (2001)
3. Baccelli, F., Balbo, G., Boucherie, R.J., Campos, J., Chiola, G.: Annotated bibliography on stochastic Petri nets. In: Performance Evaluation of Parallel and Distributed Systems — Solution Methods, CWI Tract, 105, Amsterdam, pp. 1–24 (1994)
4. Balbo, G., Bruell, S., Ghanta, S.: Combining queueing networks and generalized stochastic Petri nets for the solution of complex models of system behaviour. IEEE Transactions on Computers 37, 1251–1268 (1988)
5. Balsamo, S., Di Marco, A., Inverardi, P., Simeoni, M.: Software Architectures: State of the art and perspectives. Rapporto Tecnico CS-2003-01, Università Ca’ Foscari di Venezia (2003)