PEPA&SEBASTIAN version