Geographically Distributed Systems: Hybrid Methods, Plan Nacional I+D, CICyT, TIC1999-0754-C03, 2000-2002.