Marco Bernardo Paolo Ciancarini Lorenzo Donatiello ÆMPA: a process algebraic description language for the performance analysis of software architectures. 1-11 2000 Workshop on Software and Performance http://doi.acm.org/10.1145/350391.350394 db/conf/wosp/wosp2000.html#BernardoCD00