Mace: language support for building distributed systems
Magpie: Online Modelling and Performance-aware Systems