1. Aeolus: a component model for the cloud;Di Cosmo;Inf. Comput.,2014
2. Package upgrades in foss distributions: details and challenges;Di Cosmo,2008
3. MPM : a modular package manager;Abate,2011
4. Towards a formal component model for the cloud;Di Cosmo,2012
5. An open extensible tool environment for event-b;Abrial,2006