A correct by design methodology for available cloud applications

Team

Carla Ferreira, Nuno Preguiça, Miguel Goulão, João Costa Seco, Sérgio Duarte, Valter Balegas,