Paper accepted at FASE