1. A methodology based on formal methods for predicting the impact of dynamic power management;Acquaviva,2005
2. Modelling with Generalized Stochastic Petri Nets;Ajmone Marsan,1995
3. On the usability of process algebra: An architectural view;Aldini;Theoretical Computer Science,2005
4. Component-oriented specification of performance measures;Aldini,2006
5. Reactive modules;Alur,1996